A library of Taylor models for PVS automatic proof checker

Francisco Cháves Marc Daumas

Published in: CoRR (2006)

Keyphrases

statistical model
databases
statistical models
case study
probabilistic model
theorem proving
real time
machine learning
artificial intelligence
computer vision
relational databases
data driven