The following pages link to Hilbert's twenty-fourth problem (Q1869614):
Displaying 7 items.
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← 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)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Explanation in mathematical conversations: an empirical investigation (Q5204808) (← links)
