What is an experiment in mathematical practice? New evidence from mining the \textit{Mathematical Reviews}

DOI10.1007/S11229-023-04475-XMaRDI QIDQ6834865zbMATH OpenFDO

Authors Henrik Kragh Sørensen, Sophie Kjeldbjerg Mathiasen, Mikkel W. Johansen

Publication date 31 March 2026

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11229-023-04475-X

zbMATH Keywords

experimental mathematicsexperimentsphilosophy of mathematical practicequalitative corpus studies

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Cites work

• ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
• Acceptable gaps in mathematical proofs
• Advances in experimental philosophy of logic and mathematics
• Computers as a source of a posteriori knowledge in mathematics
• Experimental mathematics
• Experimental mathematics, computers and the a priori
• Handbook of the history and philosophy of mathematical practice. In 4 volumes
• scientific article; zbMATH DE number 5824053 (Why is no real title available?)
• scientific article; zbMATH DE number 2033314 (Why is no real title available?)
• scientific article; zbMATH DE number 1512780 (Why is no real title available?)
• Mathematicians writing for mathematicians
• Mathematics has a front and a back
• Mathematics Subject Classification 2020
• The Derivation-Indicator View of Mathematical Practice

This page was built for publication: What is an experiment in mathematical practice? New evidence from mining the \textit{Mathematical Reviews}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6834865)