Short proofs of ideal membership.

Clemens Hofstadler Thibaut Verron

Published in: J. Symb. Comput. (2024)

Keyphrases

database
computer vision
data sets
theorem proving
image processing
website
high level
reinforcement learning
decision procedures
formal proofs
equational theories