Session Akra_Bazzi
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.Function_Algebras
Landau_Symbols.Group_Sort
Landau_Symbols.Landau_Real_Products
Landau_Symbols.Landau_Simprocs
File ‹landau_simprocs.ML›
Landau_Symbols.Landau_More
Pure-ex.Guess
Akra_Bazzi_Library
Akra_Bazzi_Asymptotics
Akra_Bazzi_Real
Akra_Bazzi
Master_Theorem
Eval_Numeral
Akra_Bazzi_Method
File ‹akra_bazzi.ML›
HOL-Library.Lattice_Algebras
HOL-Library.Interval
HOL-Library.Log_Nat
HOL-Library.Float
HOL-Library.Interval_Float
HOL-Decision_Procs.Dense_Linear_Order
File ‹langford_data.ML›
File ‹ferrante_rackoff_data.ML›
File ‹langford.ML›
File ‹ferrante_rackoff.ML›
HOL-Decision_Procs.Approximation_Bounds
HOL-Library.Code_Target_Int
HOL-Library.Code_Abstract_Nat
HOL-Library.Code_Target_Nat
HOL-Library.Code_Target_Numeral
HOL-Library.Code_Target_Numeral_Float
HOL-Decision_Procs.Approximation
File ‹approximation.ML›
File ‹approximation_generator.ML›
Akra_Bazzi_Approximation
Master_Theorem_Examples