Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets.

Published in: J. Formaliz. Reason. (2010)

Keyphrases

computer algebra
formal methods
theoretical framework
neural network
efficient implementation
theoretical basis
genetic algorithm
learning algorithm
theorem prover
decision trees
similarity measure
set theoretic