Automated mathematics and the reconfiguration of proof and labor
Article in Bulletin of the American Mathematical Society (May 2024)
The most recent citing publications are shown below. View all 363 publications that cite this research output on Dimensions.
Article in Bulletin of the American Mathematical Society (May 2024)
Article in Synthese (January 2024)
Monograph (January 2024)