Extraction of a computer-certified ODE solver.

Grigory Devadze Lars Flessing Stefan Streif

Published in: CoRR (2021)

Keyphrases

information extraction
computer systems
automatic extraction
data sets
knowledge extraction
neural network
data mining
learning algorithm
computer technology
automatically extracted
ordinary differential equations
computer controlled