Seeking Mathematica's faults
- To: mathgroup at smc.vnet.net
- Subject: [mg30713] Seeking Mathematica's faults
- From: "Chris Parson" <siu99cjp at reading.ac.uk>
- Date: Sat, 8 Sep 2001 02:55:40 -0400 (EDT)
- Organization: University of Reading
- Sender: owner-wri-mathgroup at wolfram.com
I am in the hunt for any possible flaws in the symbolic computation tools of Mathematica version 4.x. I am only interested in Calculus-related queries, i.e. integration/DEs etc, but if anyone has (or knows where I could find) a list of mathematical problems to which Mathematica returns incorrect or incomplete answers, I would be most grateful. This includes scenarios where necessary side-conditions to Mathematica output are omitted by the system. A good example of the kind of thing I am after is Michael Wester's 1995 paper "A Review of CAS Mathematical Capabilities" (this can be obtained via his website at http://math.unm.edu/~wester). In it, he writes "it is this author's hope that this review will encourage the development of a comprehensive CAS test suite". If such a suite has materialised, I'd like to know about it! Many thanks, Chris Parson University of Reading England