Login / Signup
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Published in:
TACAS (2) (2017)
Keyphrases
</>
ordinary differential equations
dynamic systems
differential equations
numerical integration
phase space
probabilistic model
computational model
mathematical models
pairwise
dimensionality reduction
natural images
partial differential equations
numerical solution