menu

Return to entry

Notation
Degree
Variables
Total_Degree
Poly_Expansions
Substitutions
Type_Casting
More_More_MPoly_Type
Poly_Extract
Bit_Counting
Utils
Tau_Reduction
Masking
Multinomial
Lemma_1_8_Defs
Lemma_1_8_Coding
Lemma_1_8
Diophantine_Definition
Total_Degree_Env
Suitable_For_Coding
Poly_Degree
Coding_Theorem_Definitions
Lemma_2_2
Lower_Bounds
Coding_Theorem
Lucas_Sequences
Pell_Equation
Lucas_Diophantine
Lemma_4_4
DFI_square_0
DFI_square_1
DFI_square_2
DFI_square_3
Bridge_Theorem_Imp
Bridge_Theorem_Rev
Bridge_Theorem
Algebra_Basics
J3_Polynomial
J3_Relations
Pi_Relations
M3_Polynomial
Pi_to_M3_rat
Matiyasevich_Polynomial
Nine_Unknowns_N_Z_Definitions
Nine_Unknowns_N_Z
Eleven_Unknowns_Z
Universal_Pairs

Diophantine_Universal_Pairs.Lemma_4_4

HTML Presentation