Using SAGE Maths extension to solve problems with euclidean geometry
liaofei1128 / euclidean-geometry Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jamierwright/euclidean-geometry
Using SAGE Maths extension to solve problems with euclidean geometry
License: GNU General Public License v3.0