Login / Signup
Hilbert's Tenth Problem in Coq.
Dominique Larchey-Wendling
Yannick Forster
Published in:
CoRR (2020)
Keyphrases
</>
theorem prover
formal methods
clifford algebra
international symposium
neural network
data structure
fuzzy logic
databases
decision trees
pattern recognition
training set
computational intelligence
first order logic
hilbert curve
hilbert scan