Login / Signup
Bouncing threads for infinitary and circular proofs.
David Baelde
Amina Doumane
Denis Kuperberg
Alexis Saurin
Published in:
CoRR (2020)
Keyphrases
</>
theorem prover
theorem proving
hough transform
formal proofs
multi threaded
equational theories
automated theorem provers
mathematical proofs
real time
decision procedures
harmonic functions
machine learning
learning algorithm
case study
knowledge representation