Irrationality_J_Hancl

MaRDI QIDQ53735swMATHFDO

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

Cited in

(11)

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

This page was built for software: Irrationality_J_Hancl