865 reputation
248
bio website
location
age
visits member for 1 year, 10 months
seen 17 hours ago

Jun
12
revised Proving inequalities with Mathematica
Slightly improved explanations of Resolve return values
Jun
12
comment Proving inequalities with Mathematica
@halirutan - thanks! I was wondering how other people do it, now I know.
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