Java Geometry Expert? Resource Center!
http://www.cs.wichita.edu/~ye/

说可以使用计算机解决平面几何证明题？

看了下，出来挺久了
--
FROM 120.35.11.*