Pages that link to "Item:Q5277791"
From MaRDI portal
The following pages link to A formally verified proof of the prime number theorem (Q5277791):
Displaying 17 items.
- A heuristic prover for real inequalities (Q287379) (← links)
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- A formalization of multi-tape Turing machines (Q744986) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Proof pearl: Bounding least common multiples with triangles (Q1722641) (← links)
- A decision procedure for linear ``big O'' equations (Q2642465) (← links)
- Proof Verification Technology and Elementary Physics (Q3296311) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- Extending a Resolution Prover for Inequalities on Elementary Functions (Q3498456) (← links)
- The Isabelle Framework (Q3543647) (← links)
- Finite Groups Representation Theory with Coq (Q3637300) (← links)
- About the Formalization of Some Results by Chebyshev in Number Theory (Q3638243) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710) (← links)
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System (Q5200117) (← links)
- (Q5856420) (← links)
- Nine Chapters of Analytic Number Theory in Isabelle/HOL. (Q5875424) (← links)
