Session Linear_Recurrences
View
theory dependencies
View
document
View
outline
Theories
HOL-Computational_Algebra.Group_Closure
HOL-Computational_Algebra.Nth_Powers
HOL-Computational_Algebra.Squarefree
HOL-Computational_Algebra.Computational_Algebra
RatFPS
HOL-Combinatorics.Stirling
Pochhammer_Polynomials
HOL-Library.Sublist
Linear_Recurrences_Misc
Partial_Fraction_Decomposition
Factorizations
Rational_FPS_Solver
Linear_Recurrences_Common
Linear_Homogenous_Recurrences
Eulerian_Polynomials
Linear_Inhomogenous_Recurrences
Matrix.Utility
Polynomial_Factorization.Polynomial_Irreducibility
Polynomial_Factorization.Order_Polynomial
Polynomial_Factorization.Fundamental_Theorem_Algebra_Factorized
Polynomial_Factorization.Square_Free_Factorization
HOL-Library.Code_Target_Int
HOL-Library.Code_Abstract_Nat
HOL-Library.Code_Target_Nat
HOL-Library.Code_Target_Numeral
Rational_FPS_Asymptotics