DiophantineApproximation

Navigation page for Blueprint/D5/S3/Arith/DiophantineApproximation/ at upstream snapshot 880384c42100f2d04436d97c4ac862e91b4bba85.

Contents

• Auxiliary Polynomial
• Auxiliary Polynomial Fixed Degree
• Binary Form
• Box Monomial
• Counting Volume
• Disjoint Variables
• Generalized Wronskian
• Index Rename
• Mv Hasse Deriv
• Mv Polynomial Eval Bound
• Places Over Finite
• Places Over Infinite
• Polynomial Determinant Height
• Polynomial Index
• Rational Places
• Roth Auxiliary
• Roth Base Case
• Roth Decomposition
• Roth Key Inequality
• Roth Lemma
• Roth Moving Chain
• Roth Theorem
• Thue Equation
• Weighted Order
• Wronskian