Field, une procédure de décision pour les nombres réels en Coq.

David Delahaye Micaela Mayero

Published in: JFLA (2001)

Keyphrases

data sets
theorem prover
data mining
software engineering
graduate students
neural network
artificial intelligence
computer vision
three dimensional
management system
computational intelligence