The following pages link to (Q4037120):
Displayed 8 items.
- Assisting requirement formalization by means of natural language translation (Q1329090) (← links)
- Unimodal patterns appearing in the two-dimensional Navier-Stokes flows under general forcing at large Reynolds numbers (Q1672200) (← links)
- On the stationary solutions and inviscid limit for the generalized Proudman-Johnson equation with \(O(1)\) forcing (Q2414780) (← links)
- Collocation Techniques for Structured Populations Modeled by Delay Equations (Q3300574) (← links)
- Pseudospectral Discretization of Nonlinear Delay Equations: New Prospects for Numerical Bifurcation Analysis (Q3465251) (← links)
- 15 Years or So of Pseudospectral Collocation Methods for Stability and Bifurcation of Delay Equations (Q5054563) (← links)
- On stationary solutions and inviscid limits for generalized Constantin–Lax–Majda equation with O(1) forcing (Q5136550) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)