|start | find | index | login or register | edit|
by earl, 5026 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."
6 active users
|earl.strain.at • esa3 • online for 7455 days • c'est un vanilla site|