Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Perfect Fields and Repeated Fa...

Email Gateway (Nov 13 2023 at 14:26):

From: Lawrence Paulson <lp15@cam.ac.uk>
I am happy to announce two new linked contributions, by Manuel Eberl and Katharina Kreuzer:

Perfect Fields
They define perfect fields using one characterization and show the equivalence to another.
Perfect fields including those of characteristic zero, finite fields and algebraically closed fields.
https://www.isa-afp.org/entries/Perfect_Fields.html

and

Elimination of Repeated Factors Algorithm
This is an algorithm to find the square-free part of polynomials over perfect fields.
https://www.isa-afp.org/entries/Elimination_Of_Repeated_Factors.html

Larry

Last updated: Jan 04 2025 at 20:18 UTC