Some thoughts on automation and mathematical research

DOI10.1090/bull/1834OpenAlexW4391885377MaRDI QIDQ6130522

Akshay Venkatesh

Publication date: 3 April 2024

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/bull/1834

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 21st century (01A61) Methodology of mathematics (00A35) History of computer science (68-03) Sociology (and profession) of mathematics (01A80) Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Varieties of mathematical understanding
• Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach

This page was built for publication: Some thoughts on automation and mathematical research