Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale sprachen/Isabelle/HOL/Computational_Algebra/

Quellcodebibliothek

Verzeichnis products/sources/formale sprachen/Isabelle/HOL/Computational_Algebra/

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