Constructive Reals in Coq: Axioms and Categoricity.

Herman Geuvers Milad Niqui

Published in: TYPES (2000)

Keyphrases

theorem prover
knowledge base
constraint databases
first order logic
formal methods
real time
neural network
information retrieval
computer vision
case study
image segmentation
relational databases
probability distribution