Download of data in various formats - Githubissues

numberdb / numberdb-website

Website and database builder for numberdb.org

0 stars 2 forks source link

Download of data in various formats #6

Open bmatschke opened 3 years ago

bmatschke commented 3 years ago

User should be able to download the collection data in various ways:

numbers in a collection:
- cvs
- json
- yaml
- sage, ...
whole collections:
- yaml
- json
- sage, ...
list of all tags (perhaps with counts of numbers/collections, perhaps sorted in different ways)
list of all collection titles (perhaps with count of numbers) (-) list of all numbers that can be written in a certain type, say:
- all integers
- all real numbers as float64s
- all real numbers as real intervals or real balls

(Make subissues)

bmatschke commented 3 years ago

Should be implemented as API (#7) and then put buttons into webpage at the correct places.