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

DOI10.1007/s11786-023-00574-7arXiv2302.10071OpenAlexW4389001533MaRDI QIDQ6190091

Manuele Santoprete

Publication date: 6 February 2024

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

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

• Unnamed Item
• Unnamed Item
• On the uniqueness of co-circular four body central configurations
• Planarity conditions and four-body central configurations equations with angles as coordinates
• Four-body co-circular central configurations
• On the uniqueness of trapezoidal four-body central configurations

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