Automated generation of geometric theorems from images of diagrams.

Xiaoyu Chen Dan Song Dongming Wang

Published in: Ann. Math. Artif. Intell. (2015)

Keyphrases

image features
image database
three dimensional
object recognition
geometric information
ground truth
image data
image registration
input image
geometric constraints
image analysis
image retrieval
image classification
image set
fully automatic
image collections
hand drawn
geometric transformations
illumination correction
rigid body
multiple images
segmentation method
computer graphics
illumination conditions
image content
geometric features
image reconstruction
automated analysis
d objects