Edinburgh Research Explorer· 2013
A proof of Bertrand's postulate
- 97citations
- 2013year
Short summary
Bertrand's postulate has been formally proven using the Matita Interactive Theorem Prover, leveraging Chebyshev's machinery for prime number distribution.
AI-generated from the title and abstract; the full text is not read.
TakeawaysIn the app
Key pointsIn the app
Ask the paperIn the app
The rest is in the Pofolia app
Takeaways, key points and questions to the paper; new summaries every day for your field. Free.
Sign in on the web to openField: Theoretical Computer Science
Theoretical Computer ScienceMathematics