Pages that link to "Item:Q5464666"
From MaRDI portal
The following pages link to Theorem Proving in Higher Order Logics (Q5464666):
Displaying 10 items.
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Historical overview of the Kepler conjecture (Q734995) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Ten methods to bound multiple roots of polynomials (Q1398714) (← links)
- A replication crisis in mathematics? (Q2154145) (← links)
- Sphere packings revisited (Q2493106) (← links)
- Type Inference for ZFH (Q3453108) (← links)
- Combined Decision Techniques for the Existential Theory of the Reals (Q3637273) (← links)
- Proof Auditing Formalised Mathematics (Q5195266) (← links)
