A computer-aided proof of a conjecture in Euclidean geometry

DOI10.1016/j.camwa.2008.07.010zbMath1165.51304OpenAlexW1983402197WikidataQ123160488 ScholiaQ123160488MaRDI QIDQ2389464

Mihai Cipu

Publication date: 17 July 2009

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.camwa.2008.07.010

zbMATH Keywords

Gröbner basisdecompositionincentercharacteristic setcyclic quadrilateral

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Euclidean geometries (general) and generalizations (51M05)

Uses Software

• SINGULAR

Cites Work

• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• A Singular Introduction to Commutative Algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A computer-aided proof of a conjecture in Euclidean geometry