Introduction to Liouville numbers

DOI10.1515/FORMA-2017-0003zbMath1365.11090OpenAlexW2615870846MaRDI QIDQ2356936

Artur Korniłowicz, Adam Grabowski

Publication date: 7 June 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2017-0003

zbMATH Keywords

Diophantine approximationtranscendental numberLiouville numberLiouville constant

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Transcendence (general theory) (11J81) Diophantine approximation in probabilistic number theory (11K60)

Related Items (1)

All Liouville numbers are transcendental

Uses Software

• Mizar
• Liouville numbers
• Archive Formal Proofs

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Semantics of MML Query - Ordering
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Introduction to Liouville numbers