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

Oct
10
comment Help find a bright object on Mars!
Yes, I now realized that - and I gave the accepted answer to @nikie, hope you don't mind :).
Oct
10
comment Help find a bright object on Mars!
Excellent, thanks!
Oct
10
comment Help find a bright object on Mars!
Great tip, @RahulNarain - extracting saturation does certainly bring it up. I agree that it's not that bright.
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
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?