An axiomatic approach to existence and liveness for differential equations.

Yong Kiam Tan André Platzer

Published in: Formal Aspects Comput. (2021)

Keyphrases

differential equations
dynamical systems
numerical solution
numerical methods
ordinary differential equations
boundary value problem
brownian motion
partial differential equations
feed forward artificial neural networks
nonlinear differential equations
continuous functions
transmission line
runge kutta