Login / Signup
A Decision Procedure for Geometry in Coq.
Julien Narboux
Published in:
TPHOLs (2004)
Keyphrases
</>
decision making
three dimensional
decision makers
machine learning
theorem prover
databases
neural network
real world
decision processes
data sets
iterative procedure
finite element
decision problems
decision rules
multiresolution
evolutionary algorithm
bayesian networks
information retrieval