Readable machine proofs for mass point geometry

DOI10.3724/SP.J.1087.2010.01899zbMath1246.68200OpenAlexW2054224091MaRDI QIDQ2911357

Huan Zheng, Jing-Zhong Zhang, Yu Zou

Publication date: 30 August 2012

Published in: Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1087.2010.01899

zbMATH Keywords

readable machine proofHilbert intersection point statementsparticle geometry

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Uses Software

• Maple

This page was built for publication: Readable machine proofs for mass point geometry