Session Taylor_Models
View
theory dependencies
View
document
View
outline
Theories
HOL-Decision_Procs.Rat_Pair
HOL-Decision_Procs.Polynomial_List
Polynomial_Expression
Float_Topology
Horner_Eval
Polynomial_Expression_Additional
HOL-Library.Function_Algebras
Taylor_Models_Misc
Taylor_Models
Experiments