Login / Signup
Automatically Proving Plane Geometry Theorems Stated by Text and Diagram.
Wenbin Gan
Xinguo Yu
Ting Zhang
Mingshu Wang
Published in:
Int. J. Pattern Recognit. Artif. Intell. (2019)
Keyphrases
</>
three dimensional
euclidean geometry
database
text mining
information retrieval
text retrieval
automatically generated
free text
relative position
multimedia
keywords
text documents
geometric constraints
semi automatically
automatically created