Mathematical Quotients and Quotient Types in Coq.

Laurent Chicli Loic Pottier Carlos Simpson

Published in: TYPES (2002)

Keyphrases

theorem prover
neural network
digital libraries
machine learning
support vector
expert systems
machine intelligence
mathematical expressions