Some polynomial conditions for cyclic quadrilaterals, tilted kites and other quadrilaterals

DOI10.1007/S11786-023-00574-7arXiv2302.10071OpenAlexW4389001533MaRDI QIDQ6190091FDOQ6190091

Authors: Manuele Santoprete 

Publication date: 6 February 2024

Published in: Mathematics in Computer Science (Search for Journal in Brave)

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

Full work available at URL: https://arxiv.org/abs/2302.10071

zbMATH Keywords

Groebner basisautomated theorem provingquadrilateralscyclic quadrilateralstilted kites

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Elementary problems in Euclidean geometries (51M04)

Cites Work

• Title not available (Why is that?)
• Four-body co-circular central configurations
• Planarity conditions and four-body central configurations equations with angles as coordinates
• On the uniqueness of co-circular four body central configurations
• On the uniqueness of trapezoidal four-body central configurations
• Properties of tilted kites

This page was built for publication: Some polynomial conditions for cyclic quadrilaterals, tilted kites and other quadrilaterals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190091)