QArith: Coq Formalisation of Lazy Rational Arithmetic.

Milad Niqui Yves Bertot

Published in: TYPES (2003)

Keyphrases

formal analysis
formal methods
theorem prover
lazy learning
arithmetic operations
artificial intelligence
decision making
neural network
case based reasoning
incentive compatible
belief revision
cellular automata
database
case study
e learning
learning algorithm
information retrieval
databases