scientific article

zbMath0771.65035MaRDI QIDQ4034194

Keijo Ruohonen

Publication date: 16 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing machinesevent detectionmultidimensionalevent locationsymbolical computationundecidabilities

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonlinear ordinary differential equations and systems (34A34) Undecidability and degrees of sets of sentences (03D35) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Related Items

Computing with polynomial ordinary differential equations, Event detection for ODES and nonrecursive hierarchies, Undecidable event detection problems for ODEs of dimension one and two, A Survey on Analog Models of Computation