start | find | index | login or register | edit
Theorema
by earl, 4506 days ago
"The Theorema project aims at extending current computer algebra systems by facilities for supporting mathematical proving. The present early-prototype version of the Theorema software system is implemented in Mathematica."

- http://www.theorema.org/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6935 days • c'est un vanilla site