Home > Contribution List
Contribution List
Displaying 76
contributions
out of
76
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computer Lab
Session:
Computing Dynamical Systems: examples
-
- A_fast_method_for_approximating_invariant_manifolds.pdf
- A_Fast_Method_for_Approximating_Invariant_Manifolds_Vol_3.pdf
- A_Survey_of_methods_computing_un_stable_manifolds_of_vector_fields.pdf
- A_SURVEY_OF_METHODS_FOR_COMPUTING_UN_STABLE_MANIFOLDS_OF_VECTOR_FIELDS.pdf
- Computational_Aspects_of_Dynamical_Systems.pdf
- Computing_Periodic_Orbits_and_their_Bifurcations_with_Automatic_Differentiation.pdf
- COMPUTING_PERIODIC_ORBITS_AND_THEIR_BIFURCATIONS_WITH_AUTOMATIC_DIFFERENTIATION_Vol_22.pdf
- Computing_Slow_Manifolds_of_Saddle_Type.pdf
- Homoclinic_Orbits_of_the_FitzHugh_Nagumo_Equation_Bifurcations_in_the_Full_System.pdf
- HOMOCLINIC_ORBITS_OF_THE_FITZHUGH_NAGUMO_EQUATION_THE_SINGULAR_LIMIT.pdf
- MIXED_MODE_OSCILLATIONS_WITH_MULTIPLE_TIME_SCALES.pdf
- Numerical_Analysisof-Dynamical_Systems.pdf
- Phase_Portraits_of_Planar_Vector_Fields_Computer_Proofs.pdf
- Singular_Hopf_Bifurcation_in_Systems_with_Two_Slow_Variables.pdf
- The_Forced_van_der_Pol_Equation_I_The_Slow_Flow_and_Its_Bifurcations.pdf
Session:
FREE AFTERNOON
Session:
Methods to compute invariant objects and different indicators in dynamical systems
-
- A_COLLOCATION_METHOD_FOR_THE_NUMERICAL_FOURIER_1.pdf
- A_COLLOCATION_METHOD_FOR_THE_NUMERICAL_FOURIER_2.pdf
- A_veraging_under_Fast_Quasiperiodic_Forcing.pdf
- Dynamical_properties_of_the_figure_eight_solution_of_the_three_body_problem.pdf
- Dynamics_of_particle_trajectories_in_a_Rayleigh_Benard_problem.pdf
- Effective_Computations_in_Celestial_Mechanics_and_Astrodynamics.pdf
- From_steady_solutions_to_chaotic_flows_in_a_Rayleigh_Benard_problem_at__moderate_Rayleigh_numbers.pdf
- Global_Dynamics_and_Fast_Indicators.pdf
- Jet_transport_and_applications.pdf
- New_families_of_Solutions_in_N_Body_Problems.pdf
- On_the_Analytic_and_Numerical_Approximation_of_Invariant_Manifolds.pdf
- Phase_space_structure_of_multi_dimensional_systems_by_means.pdf
- Taylor_method_for_the_integration_of_ODE.pdf
Session:
Opening remarks
Session:
Validated numerics - a short introduction to rigorous computations
-
- 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