There was an discussion on sci.math.symbolic, which like many on newsgroups, often go off the subject into something more intersting (or more boring)!
It was started by me under the title "Wolfram Alpha claims to be a primary source" A point was then made by Professor Fateman about this statement on the Wolfram Reserach web site. http://reference.wolfram.com/mathematica/tutorial/TestingAndVerification.html "The standards of correctness for Mathematica are certainly much higher than for typical mathematical proofs." However, it is apparent that Wolfram Research do not * State the what is for a 'typical mathematical proff' - is it a kids homework, or a refereed paper? * Do not give any criteria. * Do not reference and journals showing their evidence for this. Hence one might say this statement should be "taken with a pinch of salt". Vladimir Bondarenko then put some comments, which I posted below. I would imagine a comparision of Sage with a "typical mathematical proff" once typical is defined, could make for intersting reading. IF a paper could be produced, which would stand up to peer review, it would make the Wolfram Statement look quite silly. I would imagine it could make for a student project if nothing else. The link Vladimir provides documents tons of bugs in Mathematica. Dave ---comments from Vladimir Bondarenko on sci.math.symbolic--- I wonder what is the criterion the Wolfram Research used for this comparison, if any. If they publish the criterion, we in Cyber Tester can use the redesigned speedy VM machine to verify their statement. If they do not want to publish this criterion, the customers should consider this statement as yet another an piece of humbug (swindle/hype/hocus-pocus). If this is said of printed professional math papers bearing the proofs, my sheer feeling the above Wolfram Statement is a piece of bunk. Consider my sketch of 2001, and see how many Mathematica 4.1 bugs are NOT fixed yet since 2001 to 2009 http://maple.bug-list.org/chapter1.txt Cheers, Vladimir Bondarenko Co-founder, CEO, Mathematical Director http://www.cybertester.com/ Cyber Tester Ltd. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
