Surreal Numbers in Coq.

Lionel Elie Mamane

Published in: TYPES (2004)

Keyphrases

formal methods
theorem prover
machine learning
artificial intelligence
real time
neural network
genetic algorithm
pattern recognition
fine grained
object oriented
probabilistic model
building blocks
software development