Transcendence_Series_Hancl_Rucki
From MaRDI portal
swMATH38036MaRDI QIDQ53736FDOQ53736
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Transcendence_Series_Hancl_Rucki.html
Cited In (11)
- FindFacts
- SErAPIS
- 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
- Quaternions
- Aristotles_Assertoric_Syllogistic
- Amicable Numbers
- Irrationality_J_Hancl
- Irrational_Series_Erdos_Straus
- Octonions
- Pratt_Certificate
This page was built for software: Transcendence_Series_Hancl_Rucki
