Sign in
A Rewrite System for Proof Constructivization.
Raphaël Cauderlier
Published in:
LFMTP (2016)
Keyphrases
</>
mathematical proofs
computer vision
image processing
theorem prover
theorem proving
data sets
databases
neural network
machine learning
multimedia
automated theorem proving
proof theory
logical rules
geometry theorem proving