Database-Driven Mathematical Inquiry
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917636761190400 |
|---|---|
| author | Clontz, Steven |
| author_facet | Clontz, Steven |
| contents | Recent advances in computing have changed not only the nature of mathematical computation, but mathematical proof and inquiry itself. While artificial intelligence and formalized mathematics have been the major topics of this conversation, this paper explores another class of tools for advancing mathematics research: databases of mathematical objects that enable semantic search. In addition to defining and exploring examples of these tools, we illustrate a particular line of research that was inspired and enabled by one such database. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_05778 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Database-Driven Mathematical Inquiry Clontz, Steven Databases History and Overview 00A35, 54-04 Recent advances in computing have changed not only the nature of mathematical computation, but mathematical proof and inquiry itself. While artificial intelligence and formalized mathematics have been the major topics of this conversation, this paper explores another class of tools for advancing mathematics research: databases of mathematical objects that enable semantic search. In addition to defining and exploring examples of these tools, we illustrate a particular line of research that was inspired and enabled by one such database. |
| title | Database-Driven Mathematical Inquiry |
| topic | Databases History and Overview 00A35, 54-04 |
| url | https://arxiv.org/abs/2404.05778 |