Login / Signup
Construction of Real Algebraic Numbers in Coq.
Cyril Cohen
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