FindFacts

swMATH45413MaRDI QIDQ5973088FDOQ5973088

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2204.14191

Cited In (11)

• SErAPIS
• 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: FindFacts