src/HOL/Computational_Algebra/Computational_Algebra.thy
author haftmann
Mon Jun 05 15:59:41 2017 +0200 (2017-06-05)
changeset 66010 2f7d39285a1a
parent 65417 fc41a5650fb1
child 66276 acc3b7dd0b21
permissions -rw-r--r--
executable domain membership checks
     1 
     2 section \<open>Pieces of computational Algebra\<close>
     3 
     4 theory Computational_Algebra
     5 imports
     6   Euclidean_Algorithm
     7   Factorial_Ring
     8   Formal_Power_Series
     9   Fraction_Field
    10   Fundamental_Theorem_Algebra
    11   Normalized_Fraction
    12   Polynomial_FPS
    13   Polynomial
    14   Primes
    15 begin
    16 
    17 end
    18