Pages that link to "Item:Q3616422"
From MaRDI portal
The following pages link to The Epistemological Status of Computer-Assisted Proofs (Q3616422):
Displaying 7 items.
- Ugly mathematics: why do mathematicians dislike computer-assisted proofs? (Q1935355) (← links)
- Limit cycles and their period detection via numeric and symbolic hybrid computations (Q2207785) (← links)
- Experimental mathematics, computers and the a priori (Q2441736) (← links)
- Probabilistic Proofs and Transferability (Q2999072) (← links)
- AfterMath: The Work of Proof in the Age of Human–Machine Collaboration (Q3105697) (← links)
- Computers as a Source of A Posteriori Knowledge in Mathematics (Q5006632) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)