meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 11 months |
| seen | May 9 at 6:49 | |
| stats | profile views | 91 |
|
Jun 12 |
comment |
Proving inequalities with Mathematica Thanks belisarius. Analytica 2 was rewritten by Michael Kohlhase in 2003 (calculemus.net/meetings/rome03/kohlhase.pdf, kwarc.info/kohlhase/papers/calculemus03.pdf), but for some reason his website (kwarc.info/kohlhase) doesn't provide any additional information. |
|
Jun 12 |
awarded | Student |
|
Jun 12 |
comment |
Proving inequalities with Mathematica Wow, that was quick! I downloaded Analytica package from here: andrej.com/analytica and noticed that it was written in 1997 for Mathematica 2.0 and never updated since. I'll try to run it but do you by any chance know if it was developed recently? |
|
Jun 12 |
asked | Proving inequalities with Mathematica |
|
May 30 |
awarded | Supporter |
