All Liouville numbers are transcendental

DOI10.1515/FORMA-2017-0004MaRDI QIDQ2356937zbMATH OpenOpenAlexFDO

Authors Artur Korniłowicz, Adam Naumowicz, Adam Grabowski

Publication date 7 June 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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

zbMATH Keywords

Diophantine approximationLiouville numbersLiouville's constanttranscendental number

Mathematics Subject Classification ID

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

Recommendations

• Introduction to Liouville numbers
• Liouville numbers, Liouville sets and Liouville fields
• On a problem posed by Mahler
• An "Oceans of Zeros" Proof That a Certain Non-Liouville Number is Transcendental
• A Liouville-like approach for the transcendence of some real numbers

Cites work

• Algebraic numbers
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 3518892 (Why is no real title available?)
• scientific article; zbMATH DE number 894522 (Why is no real title available?)
• scientific article; zbMATH DE number 7106480 (Why is no real title available?)
• Introduction to Liouville numbers
• Semantics of MML query -- ordering

Cited in

(3)

• Introduction to Liouville numbers
• Formal proof of transcendence of the number e. II
• Formal proof of transcendence of the number e. I

Describes a project that uses

Uses Software

• Archive of Formal Proofs
• Liouville numbers
• Mizar

This page was built for publication: All Liouville numbers are transcendental

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2356937)