Certified Exact Transcendental Real Number Computation in Coq.

Russell O'Connor

Published in: TPHOLs (2008)

Keyphrases

preprocessing
maximum number
real time
computational complexity
real life
fixed number
databases
learning algorithm
digital libraries
hidden markov models
small number
formal methods