Session HOL-Computational_Algebra

Theories

• Factorial_Ring
• Euclidean_Algorithm
• Polynomial
• Formal_Power_Series
• Polynomial_FPS
• Formal_Laurent_Series
• Fraction_Field
• Fundamental_Theorem_Algebra
• Group_Closure
• Normalized_Fraction
• Primes
• Nth_Powers
• Polynomial_Factorial
• Squarefree
• Computational_Algebra
• Field_as_Ring