References in zbMATH (referenced in 29 articles )

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

1 2 next

  1. Belova, Anna: Rigorous enclosures of rotation numbers by interval methods (2016)
  2. Czechowski, Aleksander; Zgliczyński, Piotr: Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter (2016)
  3. 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)
  4. van den Berg, Jan Bouwe; Mireles James, Jason D.; Reinhardt, Christian: Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (2016)
  5. Weilandt, Frank; Mrozek, Marian; Mischaikow, Konstantin: Discretization strategies for computing Conley indices and Morse decompositions of flows (2016)
  6. Wilczak, Daniel; Serrano, Sergio; Barrio, Roberto: Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof (2016)
  7. Wilczak, Daniel; Zgliczyński, Piotr: Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation (2016)
  8. Barrio, Roberto; Dena, Angeles; Tucker, Warwick: A database of rigorous and high-precision periodic orbits of the Lorenz model (2015)
  9. Knipl, Diána H.; Pilarczyk, Paweł; Röst, Gergely: Rich bifurcation structure in a two-patch vaccination model (2015)
  10. Mireles James, J.D.: Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (2015)
  11. Mrozek, Marian; Srzednicki, Roman; Weilandt, Frank: A topological approach to the algorithmic computation of the Conley index for Poincaré maps (2015)
  12. Pilarczyk, Paweł; Real, Pedro: Computation of cubical homology, cohomology, and (co)homological operations via chain contraction (2015)
  13. van den Berg, Jan Bouwe; Lessard, Jean-Philippe: Rigorous numerics in dynamics (2015)
  14. Bartha, Ferenc A.; Munthe-Kaas, Hans Z.: Computing of B-series by automatic differentiation (2014)
  15. Cyranka, Jacek: Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (2014)
  16. Harker, Shaun; Mischaikow, Konstantin; Mrozek, Marian; Nanda, Vidit: Discrete Morse theoretic algorithms for computing homology of complexes and maps (2014)
  17. Dłotko, Paweł; Specogna, Ruben: A novel technique for cohomology computations in engineering practice (2013)
  18. Ayala, Rafael; Fernández-Ternero, Desamparados; Vilches, José Antonio: Perfect discrete Morse functions on triangulated 3-manifolds (2012)
  19. Dłotko, Paweł; Kaczynski, Tomasz; Mrozek, Marian; Wanner, Thomas: Coreduction homology algorithm for regular CW-complexes (2011)
  20. Kresch, Andrew: CW complexes for complex algebraic surfaces (2010)

1 2 next