Introduction to Diophantine approximation

DOI10.1515/FORMA-2015-0010MaRDI QIDQ491774zbMATH OpenOpenAlexFDO

Authors Yasushige Watase

Publication date 19 August 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2015-0010

zbMATH Keywords

approximationcontinued fractionirrational numberrational numberDirichlet's proof

Mathematics Subject Classification ID

Continued fractions (11A55) Mechanization of proofs and logical operations (03B35) Approximation to algebraic numbers (11J68)

Recommendations

• scientific article; zbMATH DE number 3125787
• scientific article; zbMATH DE number 783633
• Introduction to Diophantine approximation. II
• scientific article; zbMATH DE number 500957
• scientific article; zbMATH DE number 5270037
• scientific article; zbMATH DE number 3019538
• scientific article; zbMATH DE number 3186999

Cites work

• scientific article; zbMATH DE number 3882509 (Why is no real title available?)
• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• scientific article; zbMATH DE number 3032896 (Why is no real title available?)
• Elementary introduction to stochastic finance in discrete time
• Proth numbers
• Semantics of MML query -- ordering

Cited in

(6)

• Division algorithm and Kronecker's approximation theorem
• scientific article; zbMATH DE number 4063197 (Why is no real title available?)
• Introduction to Diophantine approximation. II
• The Skolem-Bang theorems in ordered fields with an IP
• Diophantine approximation, continued fractions and irrationality measures
• scientific article; zbMATH DE number 4079539 (Why is no real title available?)

This page was built for publication: Introduction to Diophantine approximation

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