The following pages link to Proofs and Refutations (Q5256772):
Displayed 6 items.
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- T. S. Kuhn's theories and mathematics: A discussion paper on the 'new historiography' of mathematics (Q1232271) (← links)
- Cauchy and the infinitely small (Q1256997) (← links)
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
- Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless (Q3305493) (← links)
- Cauchy’s Residue Sore Thumb (Q4576983) (← links)