Diffusion afp-devel 47862306dbbd

recover from unsafe set during Picard iteration
47862306dbbd
Actions

Tags

None

Subscribers

None

Description

recover from unsafe set during Picard iteration

Details

Provenance

Authored on

Parents

rAFP944409c54399: new theorems, esp. on order types

Branches

Unknown

Tags

Unknown

Event Timeline

immler committed rAFP47862306dbbd: recover from unsafe set during Picard iteration.May 22 2020, 12:29 PM

Changes (2)

Path

Size

thys/

Ordinary_Differential_Equations/

Numerics/

Abstract_Reachability_Analysis.thy

Refine_Reachability_Analysis.thy

rAFP47862306dbbd

thys/Ordinary_Differential_Equations/Numerics/Abstract_Reachability_Analysis.thy

Loading...

thys/Ordinary_Differential_Equations/Numerics/Refine_Reachability_Analysis.thy

Loading...