Irrational rapidly convergent series
From MaRDI portal
Publication:2569681
zbMath1165.40301MaRDI QIDQ2569681
Publication date: 20 October 2005
Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/108582
Convergence and divergence of series and sequences (40A05) Irrationality; linear independence over a field (11J72)
Related Items
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 ⋮ Unnamed Item ⋮ Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
Cites Work
- Unnamed Item
- Unnamed Item
- Criterion for irrational sequences
- Lectures on transcendental numbers. Edited and completed by B. Diviš and W. J. LeVeque
- Mahler functions and transcendence
- The irrationality of certain infinite series
- Sur les séries de nombres rationnels à convergence rapide
- A theorem on irrationality of infinite series and applications
