scientific article
From MaRDI portal
Publication:2702031
zbMath0974.03010MaRDI QIDQ2702031
Publication date: 31 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reachabilityfirst-order theorytranscendental functionslinear differential systemsdecision procedurelinear-transcendental problems
Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25) Exponential and trigonometric functions (33B10)
Related Items (3)
Decision problem for a class of univariate Pfaffian functions ⋮ Algorithmic global criteria for excluding oscillations ⋮ Symbolic reachability computation for families of linear vector fields
This page was built for publication:
