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

• File name: 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
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Complex_Standard_Functions_and_their_Implementation_in_the_CoStLy_Library.pdf

• File name: Complex_Standard_Functions_and_their_Implementation_in_the_CoStLy_Library.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Computer_assisted_proof_of_chaos_in_the_Lorenz_equations.pdf

• File name: Computer_assisted_proof_of_chaos_in_the_Lorenz_equations.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Interval_Methods_for_Rigorous_Investigations_of_Periodic_Orbits.pdf

• File name: Interval_Methods_for_Rigorous_Investigations_of_Periodic_Orbits.pdf
• File size: 4 MB
• File creation date: 04 Feb 2022 11:47

Locating_all_the_zeros_of_an_analytic_function_in_one_complex_variable.pdf

• File name: Locating_all_the_zeros_of_an_analytic_function_in_one_complex_variable.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

On_a_Fast_and_Accurate_Method_to_Enclose_All_Zeros_of_an_Analytic_Function_on_a_Triangulated_Domain.pdf

• File name: On_a_Fast_and_Accurate_Method_to_Enclose_All_Zeros_of_an_Analytic_Function_on_a_Triangulated_Domain.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

On_Taylor_model_based_integration_of_ODEs.pdf

• File name: On_Taylor_model_based_integration_of_ODEs.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

On_the_Ubiquity_of_the_Wrapping_Effect_in_the_Computation_of_Error_Bounds.pdf

• File name: On_the_Ubiquity_of_the_Wrapping_Effect_in_the_Computation_of_Error_Bounds.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

PARAMETER_ESTIMATION_USING_INTERVAL_COMPUTATIONS.pdf

• File name: PARAMETER_ESTIMATION_USING_INTERVAL_COMPUTATIONS.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Proving_the_existence_of_long_periodic_orbits_in_1D_maps_using_interval_Newton_method.pdf

• File name: Proving_the_existence_of_long_periodic_orbits_in_1D_maps_using_interval_Newton_method.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Real_and_Complex_Taylor_Arithmetic_in_C_XSC.pdf

• File name: Real_and_Complex_Taylor_Arithmetic_in_C_XSC.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

RealPaver_An_Interval_Solver_using_Constraint_Satisfaction_Techniques.pdf

• File name: RealPaver_An_Interval_Solver_using_Constraint_Satisfaction_Techniques.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Revising_hull_and_box_consistency.pdf

• File name: Revising_hull_and_box_consistency.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47

Rigorous_parameter_estimation_for_noisy_mixed_effects_models.pdf

• File name: Rigorous_parameter_estimation_for_noisy_mixed_effects_models.pdf
• File size: 996 KB
• File creation date: 04 Feb 2022 11:47

Visualization_of_Resulting_Sets_Coming_from_Multiplication_and_Division_of_Complex_Intervals.pdf

• File name: Visualization_of_Resulting_Sets_Coming_from_Multiplication_and_Division_of_Complex_Intervals.pdf
• File size: 1 MB
• File creation date: 04 Feb 2022 11:47