Introduction to Diophantine approximation. II

DOI10.1515/FORMA-2017-0027MaRDI QIDQ1795562zbMATH OpenOpenAlexFDO

Authors Yasushige Watase

Publication date 16 October 2018

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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

zbMATH Keywords

Diophantine approximationDirichletHurwitzMinkowskirational approximation

Mathematics Subject Classification ID

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

Recommendations

• Introduction to Diophantine approximation
• Minkowski's theorem on successive minima and its application to metric Diophantine approximation theory
• On the diophantine approximation of linear forms
• scientific article; zbMATH DE number 1415718
• On the Product of Two Non-Homogeneous Linear Forms

Cites work

• An introduction to the theory of numbers. Edited and revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 3186999 (Why is no real title available?)
• Introduction to Diophantine approximation
• Mizar: state-of-the-art and beyond

Cited in

(5)

• The Minkowski chain and Diophantine approximation
• Diophantine sets. II
• Neuer Beweis eines Satzes von Minkowski
• Anwendung des Perronschen Beweises eines Satzes von Minkowski
• Introduction to Diophantine approximation

Describes a project that uses

Uses Software

• Mizar

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

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