Pages that link to "Item:Q2940742"
From MaRDI portal
The following pages link to Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices (Q2940742):
Displaying 5 items.
- Towards a formal tie between combinatorial and classical vector field dynamics (Q333772) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- An Algorithmic Approach to Lattices and Order in Dynamics (Q3176275) (← links)
- Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces (Q6175709) (← links)