Re: A free copy of Maple or a frre maple webservre

2 wrote:

I consider Maple to be verified as far as my own work is concerned. My experience with one scientific journal suggests that they consider Maple to be verified as far as my own work is concerned. I have no idea if this would work with Sage but you are welcome to try.

2

I think from what you say, both you and the reviewers have a high confidence that Maple is giving correct results. I don't believe you should claim the results have been verified simply on the basis Maple gave them.

An online dictionary:

http://www.thefreedictionary.com/verified

give a definition for verified:
1) To prove the truth of by presentation of evidence or testimony; substantiate.

2) To determine or test the truth or accuracy of, as by comparison, investigation, or reference: experiments that verified the hypothesis.

The second definition says "To determine or test the truth or accuracy of, as by comparison". I think comparing to Sage would be reasonable verification.


.

Relevant Pages

  • Re: A little knowledge is a dangerous thing - THE HALTING PROOF
    ... is NOT "Truth" in some huge mystic medieval sense, ... INDEED, the statement encoding "PA is consistent", ... finite number of things, verification is trivial. ... > Provability Thesis: A true arithmetic relation ...
    (sci.logic)
  • Re: Linux Kernel 2.6.1 released
    ... >> There is only perception... ... all truth is interpreted. ... > excludes any method of verification ... That's a well know but practically useless paradox. ...
    (alt.os.linux)
  • Re: Linux Kernel 2.6.1 released
    ... > There is only perception... ... all truth is interpreted. ... > The universe exists because we believe it exists. ... excludes any method of verification ...
    (alt.os.linux)
  • Re: Attn: besiejunejoad
    ... promised to tell the truth, the whole truth and nothing but the truth ... using temporary throwaway mail accounts for verification. ... What newsreader are you using and how do you filter out everything ... from google groups? ...
    (alt.true-crime)