Towards Verified Handwritten Calculational Proofs - (Short Paper).

Alexandra Mendes João F. Ferreira

Published in: ITP (2018)

Keyphrases

theorem proving
character recognition
data sets
information retrieval
database
decision procedures
mathematical expressions
numeral strings
data mining
knowledge representation
theorem prover
word recognition
handwritten characters
hand written
natural deduction
formal proof