HomeIsabelle/Phabricator
Diffusion afp-devel c5944c920143

moved Interval and Interval_Approximation to isabelle
c5944c920143
Actions

Description

moved Interval and Interval_Approximation to isabelle

Details

Provenance
immlerAuthored on
Parents
rAFPc5c88012f116: fixed a failing (and ugly) proof
Branches
Unknown
Tags
Unknown

Changes (19)

PathSize
Affine_Arithmetic/
Differential_Dynamic_Logic/
Ordinary_Differential_Equations/
Ex/
Lorenz/
Numerics/

rAFPc5944c920143

View Options

thys/Affine_Arithmetic/Affine_Approximation.thy

Loading...
View Options

thys/Affine_Arithmetic/Print.thy

Loading...
View Options

thys/Differential_Dynamic_Logic/Differential_Axioms.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_Approximation.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Ex/Lorenz/Result_Elements.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Numerics/Abstract_Reachability_Analysis.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Numerics/Abstract_Reachability_Analysis_C1.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Numerics/Concrete_Reachability_Analysis.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Numerics/Concrete_Reachability_Analysis_C1.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Numerics/Example_Utilities.thy

Loading...
View Options

thys/Ordinary_Differential_Equations/Numerics/Refine_Rigorous_Numerics_Aform.thy

Loading...
View Options

thys/Taylor_Models/Experiments.thy

Loading...
View Options

thys/Taylor_Models/Horner_Eval.thy

Loading...
View Options

thys/Taylor_Models/Interval.thy

Loading...
View Options

thys/Taylor_Models/Interval_Approximation.thy

Loading...
View Options

thys/Taylor_Models/Polynomial_Expression_Additional.thy

Loading...
View Options

thys/Taylor_Models/Taylor_Models.thy

Loading...