Construction of Real Algebraic Numbers in Coq.

Published in: ITP (2012)

Keyphrases

real life
real world
image segmentation
wide range
website
probabilistic model
formal methods
real time
computer vision
preprocessing
higher order
theorem prover