Calendar file
Trieste - Italy
-
Leonardo da Vinci Building Main Lecture Hall
Validated numerics - a short introduction to rigorous computations
Speakers
- W. TUCKER/T. JOHNSON
Primary authors
- W. TUCKER/T. JOHNSON (Uppsala University/Cornell University)
Files
-
abstract
-
lecture_notes
- An_automatic_and_guaranteed_determination_of_the_number_of_roots_of_an_analytic_function_interior_to_a_simple_closed_curve_in_the_complex_plane.pdf
- Complex_Standard_Functions_and_their_Implementation_in_the_CoStLy_Library.pdf
- Computer_assisted_proof_of_chaos_in_the_Lorenz_equations.pdf
- Interval_Methods_for_Rigorous_Investigations_of_Periodic_Orbits.pdf
- Locating_all_the_zeros_of_an_analytic_function_in_one_complex_variable.pdf
- On_a_Fast_and_Accurate_Method_to_Enclose_All_Zeros_of_an_Analytic_Function_on_a_Triangulated_Domain.pdf
- On_Taylor_model_based_integration_of_ODEs.pdf
- On_the_Ubiquity_of_the_Wrapping_Effect_in_the_Computation_of_Error_Bounds.pdf
- PARAMETER_ESTIMATION_USING_INTERVAL_COMPUTATIONS.pdf
- Proving_the_existence_of_long_periodic_orbits_in_1D_maps_using_interval_Newton_method.pdf
- Real_and_Complex_Taylor_Arithmetic_in_C_XSC.pdf
- RealPaver_An_Interval_Solver_using_Constraint_Satisfaction_Techniques.pdf
- Revising_hull_and_box_consistency.pdf
- Rigorous_parameter_estimation_for_noisy_mixed_effects_models.pdf
- Visualization_of_Resulting_Sets_Coming_from_Multiplication_and_Division_of_Complex_Intervals.pdf
Organizers
Directors: John Guckenheimer, Carles Simó, Warwick Tucker. Local Organiser: Stefano Luzzatto