Pages that link to "Item:Q3187718"
From MaRDI portal
The following pages link to Revisiting the reliability of published mathematical proofs: where do we go next? (Q3187718):
Displaying 5 items.
- Challenges to the assessment of time-to-proof of mathematical conjectures (Q393479) (← links)
- Acceptable gaps in mathematical proofs (Q2053999) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge (Q2965651) (← links)
- Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless (Q3305493) (← links)