The following pages link to Hilbert's twenty-fourth problem (Q1869614):
Displaying 14 items.
- Simplicity: ideals of practice in mathematics and the arts. Proceedings of the conference, City University of New York, NY, USA, April 3--5, 2013 (Q516081) (← links)
- The strategy of cramming (Q1810853) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Remarks on Hilbert's 23rd problem (Q2564020) (← links)
- On a generalization of Hilbert's 21st problem (Q4724743) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- Visual thinking and simplicity of proof (Q5204799) (← links)
- Proof simplification and automated theorem proving (Q5204800) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
- Identification of proofs via syzygies (Q5204810) (← links)
- Mechanizing Mathematical Reasoning (Q5717441) (← links)