Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
C
/
LibreOffice
/
icon-themes
/
karasa_jaga
/
cmd
/ (
LibreOffice
Version 25.8.3.2
©
) Datei vom 5.10.2025 mit Größe 220 B
Bilddatei
ROOT
products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Sturm_Sequences/ROOT
chapter AFP session Sturm_Sequences = "HOL-Computational_Algebra" + options [timeout = 600, document_logo, document_variants = "document:outline=/proof,/ML:userguide"] sessions "Pure-ex" directories "Lib" "Examples" theories "Lib/Sturm_Library_Document" "Lib/Misc_Polynomial" theories [document = false] "Lib/Sturm_Library" theories Sturm_Theorem Sturm_Method "Examples/Sturm_Ex" document_files "root.tex" "root_userguide.tex"
2026-10-10