Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. integrated Lazard's optimization into Subresultant algorithm
Changeset 7805:fd20a4c244d8 by rene thiemann _rene.thiemann@uibk.ac.at_:
integrated Lazard's optimization into Subresultant algorithm
The file was addedthys/Subresultants/Dichotomous_Lazard.thy
The file was modified thys/Subresultants/Subresultant.thy (diff)
The file was modified thys/Subresultants/Subresultant_Gcd.thy (diff)
The file was modified thys/Subresultants/document/root.bib (diff)