GitHub - immler/Taylor-Models-Isabelle: A formally verified implementation of taylor models for the proof assistant Isabelle

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
.gitignore		.gitignore
Experiments.thy		Experiments.thy
Generic_Multivariate_Polynomials.thy		Generic_Multivariate_Polynomials.thy
Horner_Eval.thy		Horner_Eval.thy
Intervals.thy		Intervals.thy
Poly_Ex.thy		Poly_Ex.thy
Taylor_Models.thy		Taylor_Models.thy
Taylor_Models_Misc.thy		Taylor_Models_Misc.thy