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