On 2 October 2013 05:42, john_perry_usm <john.pe...@usm.edu> wrote: > On Tuesday, October 1, 2013 1:42: > He's shown off some pretty impressive stuff. If I could afford Mathematica > (in terms of energy and time as well as money) I might be interested in > learning about it.
It is expensive. Wolfram Research's prices basically killed the use of Mathematica in the Department of Medical Physics at UCL. Although the uni had a site license, a researcher using it needed to pay the uni for the software. I know it was 4x as much for a Mathematica license as a MATLAB one, and whereas the Mathematica one lasted only a year before it stopped working, the MATLAB had full support for 3-years, and would continue to work after that. For what my department was doing, MATLAB was just as useful, and much more cost-effective. > I have no idea how well-regarded Theorema is in that community, There is not much of a Mathematica community in my opinion! There is the newsgroup comp.soft-sys.math.Mathematica, which is read by a lot of Wolfram Research employees, but being moderated, the time for posts to appear (admittidly usually < 24 hours), still make it painfully slow to get an answer. With only one moderator, who happens to be in the USA, it is especialy slow for someone in a different time zone like myself. One is not even allowed to mention other software such as Sage or MATLAB. There is also the newsgroup sci.math.symbolic, which tends to have quite a few Mathematica questions - no doubt a result of the main Mathematica forum being slow. But it is not its main forum. There are a few other Mathematica forums, but none of them to my knowledge have more than the odd post every 6 months or less. All the above said, I do get the feeling that WRI have worked seriously on theorem proving, and it more than just an after-thought. However, I have never used it myself. Dave -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
