Some Polynomial Conditions for Cyclic Quadrilaterals, Tilted Kites and Other Quadrilaterals

被引：0
|
作者：
Manuele Santoprete
机构：
[1] Wilfrid Laurier University,Department of Mathematics
来源：
Mathematics in Computer Science | 2023年 / 17卷
关键词：
Quadrilaterals; Cyclic quadrilaterals; Tilted kites; Groebner basis; Automated theorem proving; 51M04; 68W30;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this paper, we investigate some polynomial conditions that arise from Euclidean geometry. First we study polynomials related to quadrilaterals with supplementary angles, this includes convex cyclic quadrilaterals, as well as certain concave quadrilaterals. Then we consider polynomials associated with quadrilaterals with some equal angles, which include convex and concave tilted kites. Some of the results are proved using Groebner bases computations.
引用
收藏
相关论文
共 50 条
12345