Extraction of a computer-certified ODE solver.

Grigory Devadze Lars Flessing Stefan Streif

Published in: ECC (2021)

Keyphrases

information extraction
automatic extraction
computer technology
knowledge extraction
real time
data sets
machine learning
case study
expert systems
search space
evolutionary algorithm
automatically extracted
machine intelligence
computer programming