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