JGEX has been open sourced
This happened silently, and actually more than two years ago, but I found the Ye Zheng's GitHub project just this week.
JGEX is a legendary piece of software that provides nice ways to prove and visualize statements in Euclidean planar geometry. It is a must for everyone who is interested in the topic. Its latest version dates back to 2011 but now it is open and therefore improvable.
I already made some very minor improvements on its source code after forking it on GitHub.
Its authors are remarkable persons in the Chinese scientific society. Shang Ching Chou is the author of the epic work Mechanical Geometry Theorem Proving (1988) and Xiao Shan Gao is a vice president of the Chinese Academy of Mathematics and System Sciences in Beijing. I had the opportunity to meet him last September in Nanning, China and listen to his talk on Mathematics Mechanization.
So... the road is now open to continue the wonderful work of the Chinese experts by contributing voluntary work on the codebase!
JGEX is a legendary piece of software that provides nice ways to prove and visualize statements in Euclidean planar geometry. It is a must for everyone who is interested in the topic. Its latest version dates back to 2011 but now it is open and therefore improvable.
I already made some very minor improvements on its source code after forking it on GitHub.
Its authors are remarkable persons in the Chinese scientific society. Shang Ching Chou is the author of the epic work Mechanical Geometry Theorem Proving (1988) and Xiao Shan Gao is a vice president of the Chinese Academy of Mathematics and System Sciences in Beijing. I had the opportunity to meet him last September in Nanning, China and listen to his talk on Mathematics Mechanization.
So... the road is now open to continue the wonderful work of the Chinese experts by contributing voluntary work on the codebase!
Comments