Hilbert's Tenth Problem in Coq.

Dominique Larchey-Wendling Yannick Forster

Published in: FSCD (2019)

Keyphrases

formal methods
clifford algebra
theorem prover
international symposium
pairwise
hilbert curve
databases
artificial intelligence
high quality
bayesian networks
optimal solution
probability distribution