Login / Signup
Lemma Extraction Criteria Based on Properties of Theorem Statements.
Karol Pak
Published in:
FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
</>
information systems
desirable properties
multiresolution
structural properties
evaluation criteria
automatic extraction
multi criteria
database
neural network
high level
natural language
relational databases
information extraction
domain specific