scientific article
From MaRDI portal
Publication:4037120
zbMath0786.68067MaRDI QIDQ4037120
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Assisting requirement formalization by means of natural language translation ⋮ 15 Years or So of Pseudospectral Collocation Methods for Stability and Bifurcation of Delay Equations ⋮ Pseudospectral Discretization of Nonlinear Delay Equations: New Prospects for Numerical Bifurcation Analysis ⋮ Unimodal patterns appearing in the two-dimensional Navier-Stokes flows under general forcing at large Reynolds numbers ⋮ On the stationary solutions and inviscid limit for the generalized Proudman-Johnson equation with \(O(1)\) forcing ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ On stationary solutions and inviscid limits for generalized Constantin–Lax–Majda equation with O(1) forcing ⋮ Collocation Techniques for Structured Populations Modeled by Delay Equations