Automatic Proof-Checking of Ordinary Mathematical Texts.

Steffen Frerix Peter Koepke

Published in: CICM Workshops (2018)

Keyphrases

mathematical proofs
automatic text
semi automatic
fully automatic
data driven
multiscale
image processing
decision making
information extraction
database
information systems
text documents
computer vision
theorem proving
automatic annotation
linear logic
proof theory
neural network
databases