Summary
- metadata
- min-range approximations for all remaining floatarith-constants; formalization of Poincare map; numerics for variational equation and Poincare map; computation of enclosure for Lorenz attractor; verified algorithms for checking C1-information of Lorenz attractor