{"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}
引用次数: 0
Abstract
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
