Home
People
Research
Publications
Software

Open Source Software

FormalGeo.
Xiaokai Zhang, Na Zhu, Yiming He, Jia Zou, Tuo Leng, etc.
Formal representation and solving for Euclidean plane geometry problems.

Our Group is primarily based in the School of Computer Engineering and Sciences of Shanghai University, with additional affiliations with the School of Artificial Intelligence of Shanghai University.