Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. (pseudo) polynomial long division over integral domains
Changeset 6191:9ef0f49ccb68 by rene thiemann _rene.thiemann@uibk.ac.at_:
(pseudo) polynomial long division over integral domains
The file was addedthys/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)