AI Chat AI Image Generator AI Video Text to Speech

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

10/14/2020
∙
by   Tomasz Kapela, et al.
∙
0
∙

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in dynamics of ODEs.

READ FULL TEXT

Related Research

research
∙ 11/23/2019

Neural Integration of Continuous Dynamics

Neural dynamical systems are dynamical systems that are described at lea...
0 Margaret Trautner, et al. ∙
research
∙ 02/10/2022

Computer Validation of Neural Network Dynamics: A First Case Study

A large number of current machine learning methods rely upon deep neural...
0 Christian Kuehn, et al. ∙
research
∙ 04/05/2019

Data-driven Modelling of Dynamical Systems Using Tree Adjoining Grammar and Genetic Programming

State-of-the-art methods for data-driven modelling of non-linear dynamic...
0 Dhruv Khandelwal, et al. ∙
research
∙ 03/02/2021

Simulating deformable objects for computer animation: a numerical perspective

We examine a variety of numerical methods that arise when considering dy...
0 Uri M. Ascher, et al. ∙
research
∙ 08/10/2021

Hardware realisation of nonlinear dynamical systems for and from biology

The focus of this thesis is on the applications of nonlinear dynamical s...
0 Hamid Soleimani, et al. ∙
research
∙ 01/09/2019

Dynamical systems in wireless communications: The road less traveled by

Dynamical systems are by no means strangers in wireless communications, ...
0 Harun Siljak, et al. ∙
research
∙ 01/02/2019

Survival Dynamical Systems for the Population-level Analysis of Epidemics

Motivated by the classical Susceptible-Infected-Recovered (SIR) epidemic...
0 Wasiur R. KhudaBukhsh, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal