Introduction to Diophantine approximation

DOI10.1515/FORMA-2015-0010zbMath1318.11089OpenAlexW2295719479MaRDI QIDQ491774

Yasushige Watase

Publication date: 19 August 2015

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

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

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

Related Items (1)

Introduction to Diophantine approximation. II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proth numbers
• Semantics of MML Query - Ordering
• Elementary Introduction to Stochastic Finance in Discrete Time

This page was built for publication: Introduction to Diophantine approximation