Domain-theoretic solution of differential equations (scalar fields)
From MaRDI portal
Publication:276473
DOI10.1016/S1571-0661(03)50005-6zbMath1337.68300MaRDI QIDQ276473
M. Krznarić, Abbas Edalat, André Lieutier
Publication date: 3 May 2016
Symbolic computation and algebraic computation (68W30) Continuous lattices and posets, applications (06B35) Abstract differential equations (12H20) Higher-type and set recursion theory (03D65)
Related Items (3)
Denotational semantics of hybrid automata ⋮ A differential operator and weak topology for Lipschitz maps ⋮ An extension of the dual complexity space and an application to computer science
This page was built for publication: Domain-theoretic solution of differential equations (scalar fields)
