All Stories

  1. Rigorous numerics for critical orbits in the quadratic family
  2. A space-efficient algorithm for computing the minimum cycle mean in a directed graph
  3. A study of rigorous ODE integrators for multi-scale set-oriented computations
  4. Computation of Cubical Steenrod Squares
  5. Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family
  6. Inducing a map on homology from a correspondence
  7. An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds
  8. Rich Bifurcation Structure in a Two-Patch Vaccination Model
  9. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
  10. Combinatorial-topological framework for the analysis of global dynamics
  11. A dynamical model for plasma confinement transitions
  12. Global dynamics in a stage-structured discrete-time population model with harvesting
  13. Finite Resolution Dynamics
  14. Recent development in rigorous computational methods in dynamical systems
  15. Parallelization Method for a Continuous Property
  16. A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
  17. A Database Schema for the Analysis of Global Dynamics
  18. Decomposing Cavities in Digital Volumes into Products of Cycles
  19. Quantitative hyperbolicity estimates in one-dimensional dynamics
  20. Homology algorithm based on acyclic subspace
  21. Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index
  22. Vector Field Editing and Periodic Orbit Extraction Using Morse Decomposition
  23. Graph Approach to the Computation of the Homology of Continuous Maps
  24. The Conley Index and Rigorous Numerics for Attracting Periodic Orbits
  25. Computer Assisted Proof of the Existence of a Periodic Orbit in the Rössler Equations
  26. Computer assisted method for proving existence of periodic orbits
  27. Analysis of blood vessel topology by cubical homology