PyEuclid: A Versatile Formal Plane Geometry System in Python.

Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si

Browse the full CAV paper archive.