Diffusion afp-devel 879aa71d1836

adjusted Factor_Algebraic_Polynomial to Isabelle/devel (and Isabelle 2021-1…
879aa71d1836
Actions

Tags

None

Subscribers

None

Description

adjusted Factor_Algebraic_Polynomial to Isabelle/devel (and Isabelle 2021-1, RC3)

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFPc345143ddc72: merge of afp-2021

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP879aa71d1836: adjusted Factor_Algebraic_Polynomial to Isabelle/devel (and Isabelle 2021-1….Nov 14 2021, 9:59 AM

Changes (5)

Path

Size

thys/

Factor_Algebraic_Polynomial/

Multivariate_Resultant.thy

Poly_Connection.thy

Roots_of_Algebraic_Poly.thy

Roots_of_Algebraic_Poly_Impl.thy

rAFP879aa71d1836

thys/Factor_Algebraic_Polynomial/Multivariate_Resultant.thy

Loading...

thys/Factor_Algebraic_Polynomial/Poly_Connection.thy

Loading...

thys/Factor_Algebraic_Polynomial/ROOT

Loading...

thys/Factor_Algebraic_Polynomial/Roots_of_Algebraic_Poly.thy

Loading...

thys/Factor_Algebraic_Polynomial/Roots_of_Algebraic_Poly_Impl.thy

Loading...