数据库驱动的数学探究

arXiv - MATH - History and Overview Pub Date : 2024-04-08 DOI:arxiv-2404.05778

Steven Clontz

{"title":"数据库驱动的数学探究","authors":"Steven Clontz","doi":"arxiv-2404.05778","DOIUrl":null,"url":null,"abstract":"Recent advances in computing have changed not only the nature of mathematical\ncomputation, but mathematical proof and inquiry itself. While artificial\nintelligence and formalized mathematics have been the major topics of this\nconversation, this paper explores another class of tools for advancing\nmathematics research: databases of mathematical objects that enable semantic\nsearch. In addition to defining and exploring examples of these tools, we\nillustrate a particular line of research that was inspired and enabled by one\nsuch database.","PeriodicalId":501462,"journal":{"name":"arXiv - MATH - History and Overview","volume":"36 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Database-Driven Mathematical Inquiry\",\"authors\":\"Steven Clontz\",\"doi\":\"arxiv-2404.05778\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Recent advances in computing have changed not only the nature of mathematical\\ncomputation, but mathematical proof and inquiry itself. While artificial\\nintelligence and formalized mathematics have been the major topics of this\\nconversation, this paper explores another class of tools for advancing\\nmathematics research: databases of mathematical objects that enable semantic\\nsearch. In addition to defining and exploring examples of these tools, we\\nillustrate a particular line of research that was inspired and enabled by one\\nsuch database.\",\"PeriodicalId\":501462,\"journal\":{\"name\":\"arXiv - MATH - History and Overview\",\"volume\":\"36 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-04-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - History and Overview\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2404.05778\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - History and Overview","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2404.05778","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

计算领域的最新进展不仅改变了数学计算的性质，也改变了数学证明和探究本身。人工智能和形式化数学一直是这一讨论的主要话题，而本文则探讨了另一类推动数学研究的工具：能够进行语义搜索的数学对象数据库。除了定义和探讨这些工具的实例外，我们还展示了受此类数据库启发和支持的一项特殊研究。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Database-Driven Mathematical Inquiry

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - MATH - History and Overview

自引率

0.00%

发文量