Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.

Martin Berz Kyoko Makino

Published in: Reliab. Comput. (1998)

Keyphrases

high order
higher order
bayesian logistic regression
statistical models
predictive power
probabilistic model
mathematical models
tensor analysis
machine learning
statistical methods
learning models
low order
ordinary differential equations