Automated generation of geometric theorems from images of diagrams.
Xiaoyu ChenDan SongDongming WangPublished 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