EuclidNet: deep visual reasoning for constructible problems in geometry
In this paper, we present a deep learning-based framework for solving geometric construction problems through visual reasoning, which is useful for automated geometry theorem proving. Constructible problems in geometry often ask for the sequence of straightedge-and-compass constructions to constr...
Saved in:
Main Authors: | Wong, Man Fai, Qi, Xintong, Tan, Chee Wei |
---|---|
Other Authors: | School of Computer Science and Engineering |
Format: | Article |
Language: | English |
Published: |
2023
|
Subjects: | |
Online Access: | https://hdl.handle.net/10356/171217 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
Similar Items
-
A comparison between the geometries of Euclid and Hilbert
by: Luna, Maria Fe
Published: (1974) -
Stochastic and Integral Geometry
by: Joe Gani, Chris Heyde
Published: (2017) -
REASONABLE DISAGREEING ABOUT REASONABLE DISAGREEMENT
by: YIP ZHEN YUAN BRANDON
Published: (2018) -
Cube slices and geometric probability
by: Ifurung, Carlo B., et al.
Published: (1994) -
TRRNet : tiered relation reasoning for compositional visual question answering
by: Yang, Xiaofeng, et al.
Published: (2020)