A New Conjecture About Identity of Proofs.

Published in: CoRR (2021)

Keyphrases

identity management
mathematical proofs
theorem proving
machine learning
decision procedures
real time
computer vision
image processing
bayesian networks
relational databases
user interface
theorem prover
social context
natural deduction
formal proof