Contribution
Trieste - Italy
-
Adriatico Guest House Kastler Lecture Hall
Verified integration of flows for large ranges of initial conditions and parameters and applications to computer assisted proofs in the Lorenz system
Speakers
- MARTIN BERZ
Primary authors
- MARTIN BERZ (Michigan State University, East Lansing MI, United States of America)
Organizers
Directors: John Guckenheimer, Carles Simó, Warwick Tucker. Local Organiser: Stefano Luzzatto