The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math.symbolic

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: first anniversary of the IITS
Replies: 21   Last Post: Jan 10, 2015 4:01 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 1,245
Registered: 4/26/08
Re: first anniversary of the IITS
Posted: Mar 24, 2014 3:45 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Albert Rich schrieb:
> On Sunday, March 23, 2014 6:12:12 AM UTC-10, wrote:

> > I expect further problems to surface if the detailed term-by-term visual
> > check is extended to the remaining Chapters (i.e. 2, 5, 6, 8). Misprints
> > in Timofeev's integrands are likely to show up in this way, and
> > unexpected possibilities of simpler evaluations might too.

> Yes, a systematic check of the proposed optimal antiderivatives in the
> test suite with the ones given in Timofeev's book may well turn up
> some simpler ones. But having authored 2 of the systems being tested,
> I am obviously a partisan in the symbolic integration wars.
> So instead of me, several members of the computer algebra community
> should conduct a systematic check of the entire Charlwood and Timofeev
> test suites to ensure they are optimal and unbiased. I would happy to
> provide such a validation committee with machine readable copies of
> the proposed test suites in the syntax of several popular CA systems.

I certainly didn't mean you, nor did I mean anybody in particular, but
on the other hand felt I obliged to indicate what kind of checking I did
and didn't do. Let's hope a kind soul is reading this!


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.