Pages that link to "Item:Q5204803"
From MaRDI portal
The following pages link to The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803):
Displaying 5 items.
- Hilbert's twenty-fourth problem (Q1869614) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- From mathematical axioms to mathematical rules of proof: recent developments in proof analysis (Q5204802) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Identification of proofs via syzygies (Q5204810) (← links)