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 77 articles )

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

1 2 3 4 next

  1. van den Berg, Jan Bouwe; Groothedde, Chris; Lessard, Jean-Philippe: A general method for computer-assisted proofs of periodic solutions in delay differential problems (2022)
  2. Bartha, Ferenc A.; Krisztin, Tibor; Vígh, Alexandra: Stable periodic orbits for the Mackey-Glass equation (2021)
  3. Gierzkiewicz, Anna: A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map (2021)
  4. Gierzkiewicz, Anna; Zgliczyński, Piotr: Periodic orbits in the Rössler system (2021)
  5. Kalita, Piotr; Zgliczyński, Piotr: Rigorous FEM for one-dimensional Burgers equation (2021)
  6. Kapela, Tomasz; Mrozek, Marian; Wilczak, Daniel; Zgliczyński, Piotr: CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (2021)
  7. Menini, Laura; Possieri, Corrado; Tornambè, Antonio: A dynamical interval Newton method (2021)
  8. van den Berg, Jan Bouwe; Queirolo, Elena: A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (2021)
  9. van den Berg, Jan Bouwe; Sheombarsing, Ray: Rigorous numerics for ODEs using Chebyshev series and domain decomposition (2021)
  10. Beica, Andreea; Feret, Jérôme; Petrov, Tatjana: Tropical abstraction of biochemical reaction networks with guarantees (2020)
  11. Scaramuccia, Sara; Iuricich, Federico; De Floriani, Leila; Landi, Claudia: Computing multiparameter persistent homology through a discrete Morse-based approach (2020)
  12. Wilczak, Daniel; Zgliczyński, Piotr: A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (2020)
  13. Belbruno, Edward; Frauenfelder, Urs; van Koert, Otto: A family of periodic orbits in the three-dimensional lunar problem (2019)
  14. Galias, Zbigniew; Tucker, Warwick: Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua’s attractor (2019)
  15. Gierzkiewicz, Anna; Zgliczyński, Piotr: A computer-assisted proof of symbolic dynamics in Hyperion’s rotation (2019)
  16. Sogokon, Andrew; Jackson, Paul B.; Johnson, Taylor T.: Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (2019)
  17. 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)
  18. Breden, Maxime; Lessard, Jean-Philippe: Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (2018)
  19. Kalies, William D.; Kasti, Dinesh; Vandervorst, Robert: An algorithmic approach to lattices and order in dynamics (2018)
  20. Rohou, Simon; Jaulin, Luc; Mihaylova, Lyudmila; Le Bars, Fabrice; Veres, Sandor M.: Reliable nonlinear state estimation involving time uncertainties (2018)

1 2 3 4 next