Introduction to Diophantine approximation. II

DOI10.1515/forma-2017-0027zbMath1401.11115OpenAlexW2794528165MaRDI QIDQ1795562

Yasushige Watase

Publication date: 16 October 2018

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

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

zbMATH Keywords

Diophantine approximationrational approximationHurwitzDirichletMinkowski

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Diophantine inequalities (11J25) Approximation to algebraic numbers (11J68)

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• Introduction to Diophantine approximation
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Introduction to Diophantine approximation. II