chapter AFP
session Linear_Recurrences = Count_Complex_Roots +
options [timeout = 600]
sessions
"HOL-Library"
"HOL-Combinatorics"
"HOL-Computational_Algebra"
"HOL-Analysis"
"HOL-Real_Asymp"
Polynomial_Factorization
theories
Linear_Homogenous_Recurrences
Linear_Inhomogenous_Recurrences
Rational_FPS_Asymptotics
document_files
"root.tex"
session Linear_Recurrences_Solver in "Solver" = Berlekamp_Zassenhaus +
options [timeout = 1200]
sessions
Algebraic_Numbers
Factor_Algebraic_Polynomial
Linear_Recurrences
theories
Linear_Recurrences_Test
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
