Mizar Correctness Proofs of Generic Fraction Field Arithmetic.

Christoph Schwarzweller

Published in: Generic Programming (1998)

Keyphrases

computer assisted
domain specific
database
data sets
information systems
case study
bayesian networks
multi agent
evolutionary algorithm
computational intelligence
theorem prover
graduate students