Introduction to Liouville numbers

DOI10.1515/FORMA-2017-0003MaRDI QIDQ2356936zbMATH OpenOpenAlexFDO

Authors Adam Grabowski, Artur Korniłowicz

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-0003

zbMATH Keywords

Diophantine approximationLiouville constantLiouville numbertranscendental number

Mathematics Subject Classification ID

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

Recommendations

• All Liouville numbers are transcendental
• Liouville numbers, Liouville sets and Liouville fields
• On a problem posed by Mahler
• On variations of the Liouville constant which are also Liouville numbers
• Transcendence of some power series for Liouville number arguments

Cites work

• 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?)
• Semantics of MML query -- ordering

Cited in

(5)

• All Liouville numbers are transcendental
• Liouville numbers, Liouville sets and Liouville fields
• Topology Meets Number Theory
• Infinitely repeated partitions of Liouville numbers
• Certain Liouville series

Describes a project that uses

Uses Software

• Archive of Formal Proofs
• Liouville numbers
• Mizar

This page was built for publication: Introduction to Liouville numbers

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