Kovács, Z., & Peng, X. (2025). Automated proving in planar geometry based on the complex number identity method and elimination.
Chicago Style (17th ed.) CitationKovács, Zoltán, and Xicheng Peng. Automated Proving in Planar Geometry Based on the Complex Number Identity Method and Elimination. 2025.
MLA (9th ed.) CitationKovács, Zoltán, and Xicheng Peng. Automated Proving in Planar Geometry Based on the Complex Number Identity Method and Elimination. 2025.
Warning: These citations may not always be 100% accurate.