Transcendence_Series_Hancl_Rucki

swMATH38036MaRDI QIDQ53736FDOQ53736

Author name not available (Why is that?)

Cited In (2)

• Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started

This page was built for software: Transcendence_Series_Hancl_Rucki