CAPD

Software library that aims to provide a set of flexible C++ modules designed for rigorous numerics in dynamical systems. The CAPD library is a collection of flexible C++ modules which are mainly designed to computation of homology of sets and maps and nonrigorous and validated numerics for dynamical systems. It is distributed under the terms of GNU GPL license.


References in zbMATH (referenced in 63 articles )

Showing results 1 to 20 of 63.
Sorted by year (citations)

1 2 3 4 next

  1. Wilczak, Daniel; Zgliczyński, Piotr: A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (2020)
  2. Galias, Zbigniew; Tucker, Warwick: Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua’s attractor (2019)
  3. Sogokon, Andrew; Jackson, Paul B.; Johnson, Taylor T.: Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (2019)
  4. Balázs, István; van den Berg, Jan Bouwe; Courtois, Julien; Dudás, János; Lessard, Jean-Philippe; Vörös-Kiss, Anett; Williams, J. F.; Yin, Xi Yuan: Computer-assisted proofs for radially symmetric solutions of PDEs (2018)
  5. Breden, Maxime; Lessard, Jean-Philippe: Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (2018)
  6. Kalies, William D.; Kasti, Dinesh; Vandervorst, Robert: An algorithmic approach to lattices and order in dynamics (2018)
  7. Rohou, Simon; Jaulin, Luc; Mihaylova, Lyudmila; Le Bars, Fabrice; Veres, Sandor M.: Reliable nonlinear state estimation involving time uncertainties (2018)
  8. Szczelina, Robert; Zgliczyński, Piotr: Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation (2018)
  9. van den Bert, Jan Bouwe: Introduction to rigorous numerics in dynamics: general functional analytic setup and an example that forces chaos (2018)
  10. Villegas Pico, Hugo Nestor; Aliprantis, Dionysios C.: Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (2018)
  11. Figueras, J.-Ll.; Haro, A.; Luque, A.: Rigorous computer-assisted application of KAM theory: a modern approach (2017)
  12. Galias, Zbigniew: Systematic search for wide periodic windows and bounds for the set of regular parameters for the quadratic map (2017)
  13. Gonzalez-Lorenzo, Aldo; Bac, Alexandra; Mari, Jean-Luc; Real, Pedro: Allowing cycles in discrete Morse theory (2017)
  14. Huang, Zhenqi; Fan, Chuchu; Mitra, Sayan: Bounded invariant verification for time-delayed nonlinear networked dynamical systems (2017)
  15. Kapela, Tomasz; Simó, Carles: Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems (2017)
  16. Belova, Anna: Rigorous enclosures of rotation numbers by interval methods (2016)
  17. Czechowski, Aleksander; Zgliczyński, Piotr: Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter (2016)
  18. Gonzalez-Lorenzo, Aldo; Juda, Mateusz; Bac, Alexandra; Mari, Jean-Luc; Real, Pedro: Fast, simple and separable computation of Betti numbers on three-dimensional cubical complexes (2016)
  19. Harker, Shaun; Kokubu, Hiroshi; Mischaikow, Konstantin; Pilarczyk, Paweł: Inducing a map on homology from a correspondence (2016)
  20. Haro, Àlex; Canadell, Marta; Figueras, Jordi-Lluís; Luque, Alejandro; Mondelo, Josep-Maria: The parameterization method for invariant manifolds. From rigorous results to effective computations (2016)

1 2 3 4 next