Transcendence_Series_Hancl_Rucki
From MaRDI portal
Software:53736
No author found.
Related Items (2)
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
This page was built for software: Transcendence_Series_Hancl_Rucki