Certified Exact Transcendental Real Number Computation in Coq

Russell O'Connor

Published in: CoRR (2008)

Keyphrases

small number
artificial intelligence
wide range
computational complexity
computational effort
database
social networks
website
multiscale
optimal solution
multiresolution
fixed number