Pratt_Certificate

MaRDI QIDQ53739swMATHFDO

Authors Simon Wimmer, Lars Noschinski

Publication date 22 July 2013

Official website https://www.isa-afp.org/entries/Pratt_Certificate.html

Cites work

• Every Prime Has a Succinct Certificate

Cited in

(10)

• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
• Aristotles_Assertoric_Syllogistic
• Octonions
• Amicable Numbers
• Irrationality_J_Hancl
• Transcendence_Series_Hancl_Rucki
• Irrational_Series_Erdos_Straus
• Quaternions
• FindFacts
• SErAPIS

This page was built for software: Pratt_Certificate