Exponentially Handsome Proof Nets and Their Normalization.

Matteo Acclavio

Published in: CoRR (2021)

Keyphrases

theorem proving
theorem prover
normalization method
preprocessing
mathematical proofs
image sequences
real time
database systems
image processing
computer vision
artificial neural networks
control system
social networks
data sets
proof planning
grow exponentially
database