Formally Verified Approximations of Definite Integrals.

Assia Mahboubi Guillaume Melquiond Thomas Sibut-Pinote

Published in: J. Autom. Reason. (2019)

Keyphrases

closed form
data mining
web services
efficient computation
machine learning
information retrieval
artificial intelligence
case study
pairwise
free energy