Formally Verified Approximations of Definite Integrals.

Assia Mahboubi Guillaume Melquiond Thomas Sibut-Pinote

Published in: ITP (2016)

Keyphrases

closed form
efficient computation
free energy
approximation methods
high level
genetic algorithm
e learning
image processing
image segmentation
least squares