On Thursday, October 3, 2013 12:17:18 AM UTC-7, Dr. David Kirkby wrote:
<snip>
> For what my department was
> doing, MATLAB was just as useful, and much more cost-effective.
>
Then obviously you should not be using mathematica. You might consider
using Octave which is similar to Matlab but free, if cost-effectiveness
matters.
>
> > I have no idea how well-regarded Theorema is in that community,
>
> There is not much of a Mathematica community in my opinion!
Maybe your opinion is not particularly well informed, but the Google can
help.
For example you might find stackexchange.
> 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.
The Wolfram people are setting up their own community. But if you search
for {Mathematica , blog} you will get more than a few hits.
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.
>
Some subscribers to that group appear to get instantly forwarded email.
Some subscribers wait for some digest.
Some people just let that newsgroup sit there until they visit it.
>
> 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.
>
Thank goodness for that. It is certainly not the right place for
the typical newbie questions with subject lines... "Problem in Mathematica"
> 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.
>
The Google is your friend.
>
> 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.
>
There is this, for example
http://www.wolfram.com/products/mathematica/newin6/content/EquationalTheoremProving/
which presumably could be stuck in to some part of Sage. I've not used it.
RJF
>
>
>
--
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.
