Pages that link to "Item:Q1284712"
From MaRDI portal
The following pages link to On computer-assisted proofs in ordinal number theory (Q1284712):
Displaying 12 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Computer-assisted proofs in analysis (Q1080247) (← links)
- Computer proofs in Gödel's class theory with equational definitions for composite and cross (Q1284711) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- A mechanizable first-order theory of ordinals (Q1694476) (← links)
- The GOEDEL program (Q1945913) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets (Q2352482) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- (Q5376649) (← links)
- Automated Deduction – CADE-19 (Q5900721) (← links)