EuclidNet: deep visual reasoning for constructible problems in geometry

• المؤلفون الرئيسيون: Wong, Man Fai, Qi, Xintong, Tan, Chee Wei
• مؤلفون آخرون: School of Computer Science and Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2023
• الموضوعات: Engineering::Computer science and engineering; Geometric Reasoning; Geometry Construction
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/171217

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...