Theorema
by earl, 6632 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/
search
2 active users
- unknown (2)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
