Summary
- (pseudo) polynomial long division over integral domains
The file was added | thys/Polynomial_Factorization/Polynomial_Division.thy |
The file was modified | metadata/metadata (diff) |
The file was modified | thys/Polynomial_Factorization/Dvd_Int_Poly.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Rational_Factorization.thy (diff) |
The file was modified | thys/Polynomial_Factorization/document/root.tex (diff) |