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