Cited in
(11)- FindFacts
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- LLL Factorization
- Quaternions
- Aristotles_Assertoric_Syllogistic
- Amicable Numbers
- Irrationality_J_Hancl
- Irrational_Series_Erdos_Straus
- Octonions
- Pratt_Certificate
- Transcendence_Series_Hancl_Rucki
This page was built for software: SErAPIS
