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