Hilbert's Tenth Problem in Coq (Extended Version).

Dominique Larchey-Wendling Yannick Forster

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

decision trees
real time
neural network
cooperative
search algorithm
first order logic
theorem prover
formal methods