| |
 |
|
|
Science Forum Index » Math - Symbolic Forum » definite integral score...
Page 1 of 1
|
| Author |
Message |
| ... |
Posted: Mon Jun 16, 2008 7:09 pm |
|
|
|
Guest
|
What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the latest
computer algebra systems?
The more people document their experience the more accurate the
estimate will be!
Martin. |
|
|
| Back to top |
|
| ... |
Posted: Mon Jun 16, 2008 10:21 pm |
|
|
|
Guest
|
Axel Vogt schrieb:
Quote: clicliclic at (no spam) freenet.de wrote:
What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the latest
computer algebra systems?
The more people document their experience the more accurate the
estimate will be!
If you type them all into a Maple sheet (say in arrays) others
would try some ... or not  It would be quite boring.
I agree, and I haven't seriously tried this myself. But people who
need nontrivial definite integrals every now and then must have formed
some idea. Combining their limited experiences might give a reasonable
guess.
Martin. |
|
|
| Back to top |
|
| ... |
Posted: Tue Jun 17, 2008 12:39 am |
|
|
|
Guest
|
Alec Mihailovs schrieb:
Quote: What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the latest
computer algebra systems?
The problem with that is that some CAS have tables of integrals built-in,
and, theoretically speaking, putting enough labor into it, could include all
Gradshtein-Ryzhik integrals in these tables. That doesn't say much about
their actual possibilities.
Yes, the score of a particular candidate system might well be a
measure of its creators' stamina rather than their mathematical
ingenuity. Indeed, the electronic version of Gradshteyn-Rytzhyk would
in all likelihood score above 99%. And even this candidate could
perhaps be justly marketed as involving "sophisticated pattern-
matching algorithms". :-)
But all this doesn't affect the answerability, or practical relevance
(assuming that Gradshteyn-Ryzhik covers what is of interest to a
user), of the original question.
Martin. |
|
|
| Back to top |
|
| Axel Vogt... |
Posted: Tue Jun 17, 2008 1:25 am |
|
|
|
Guest
|
clicliclic at (no spam) freenet.de wrote:
Quote: What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the latest
computer algebra systems?
The more people document their experience the more accurate the
estimate will be!
Martin.
If you type them all into a Maple sheet (say in arrays) others
would try some ... or not It would be quite boring. |
|
|
| Back to top |
|
| Alec Mihailovs... |
Posted: Tue Jun 17, 2008 3:05 am |
|
|
|
Guest
|
Quote: What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the latest
computer algebra systems?
The problem with that is that some CAS have tables of integrals built-in,
and, theoretically speaking, putting enough labor into it, could include all
Gradshtein-Ryzhik integrals in these tables. That doesn't say much about
their actual possibilities.
Alec |
|
|
| Back to top |
|
| rjf... |
Posted: Tue Jun 17, 2008 5:25 pm |
|
|
|
Guest
|
On Jun 17, 6:05 pm, "Alec Mihailovs" <a... at (no spam) mihailovs.com> wrote:
Quote: But all this doesn't affect the answerability, or practical relevance
(assuming that Gradshteyn-Ryzhik covers what is of interest to a
user), of the original question.
If I wanted to know that for some meaningful purpose, I would, probably, use
a statistical approach - take a randomly chosen sample, say 100 integrals,
and try them.
Alec
If a program could do exactly the problem in G-R, that would not
necessarily mean that a problem SIMILAR to one in G-R could be done.
Also, you would probably find that many answers are in quite a
different form, so that determining that the answer was correct might
be a difficult task.
A reading of G-R will suggest that not only can't some of the problems
be done, the answers cannot even be expressed in one or more CAS.
This is especially the case for series.
See http://www.cs.berkeley.edu/~fateman/papers/parsing_tex.pdf
for a discussion of the formulas in this book for a defense of that
statement.
RJF |
|
|
| Back to top |
|
| Alec Mihailovs... |
Posted: Tue Jun 17, 2008 8:05 pm |
|
|
|
Guest
|
Quote: But all this doesn't affect the answerability, or practical relevance
(assuming that Gradshteyn-Ryzhik covers what is of interest to a
user), of the original question.
If I wanted to know that for some meaningful purpose, I would, probably, use
a statistical approach - take a randomly chosen sample, say 100 integrals,
and try them.
Alec |
|
|
| Back to top |
|
| David W. Cantrell... |
Posted: Thu Jun 19, 2008 10:17 am |
|
|
|
Guest
|
clicliclic at (no spam) freenet.de wrote:
Quote: Alec Mihailovs schrieb:
What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the
latest computer algebra systems?
The problem with that is that some CAS have tables of integrals
built-in, and, theoretically speaking, putting enough labor into it,
could include all Gradshtein-Ryzhik integrals in these tables. That
doesn't say much about their actual possibilities.
Yes, the score of a particular candidate system might well be a
measure of its creators' stamina rather than their mathematical
ingenuity. Indeed, the electronic version of Gradshteyn-Rytzhyk would
in all likelihood score above 99%. And even this candidate could
perhaps be justly marketed as involving "sophisticated pattern-
matching algorithms". :-)
But all this doesn't affect the answerability, or practical relevance
(assuming that Gradshteyn-Ryzhik covers what is of interest to a
user), of the original question.
If we had a superb CAS, then the suggested programme would uncover errors,
if any, in the Gradshtein-Ryzhik integrals.
In relation to that, note that in the 30th ed. (and I assume in later eds.
also) of the CRC Standard Math. Tables and Formulae, at the beginnings of
the tables of indefinite and definite integrals, appears the statement "All
integrals listed below that do not have stars next to their numbers have
been verified by computer."
David W. Cantrell |
|
|
| Back to top |
|
| G. A. Edgar... |
Posted: Thu Jun 19, 2008 11:38 am |
|
|
|
Guest
|
In article <20080619111752.654$xm at (no spam) newsreader.com>, David W. Cantrell
<DWCantrell at (no spam) sigmaxi.net> wrote:
Quote: If we had a superb CAS, then the suggested programme would uncover errors,
if any, in the Gradshtein-Ryzhik integrals.
I recall back in 1980 or so, when the integration routines in MACSYMA
were written, they tried them out on standard integral tables, and
found many errors in those tables. I forget the figure, maybe 20
percent?
--
G. A. Edgar http://www.math.ohio-state.edu/~edgar/ |
|
|
| Back to top |
|
| Richard J. Fateman... |
Posted: Thu Jun 19, 2008 12:51 pm |
|
|
|
Guest
|
G. A. Edgar wrote:
Quote: In article <20080619111752.654$xm at (no spam) newsreader.com>, David W. Cantrell
DWCantrell at (no spam) sigmaxi.net> wrote:
If we had a superb CAS, then the suggested programme would uncover errors,
if any, in the Gradshtein-Ryzhik integrals.
I recall back in 1980 or so, when the integration routines in MACSYMA
were written, they tried them out on standard integral tables, and
found many errors in those tables. I forget the figure, maybe 20
percent?
Not so high; the really buggy tables were old ones like Bierens de Haan,
I think.
This kind of result was reported by Joel Moses for his SIN program in
1964 or so.
The tables today are much better. Some people think that an integral is
confirmed or verified if it gives the right numerical answer for some
random settings of parameters. This is not a proof, which would require
that the answer be correct for ALL settings of parameters. For example,
you could easily confirm integral(x^n,x) for lots of random n, unless
you included n=-1.
Also, obtaining an answer from a CAS would only be one step. Proving
that the book answer is equivalent can be quite hard. |
|
|
| Back to top |
|
| Vladimir Bondarenko... |
Posted: Fri Jun 20, 2008 3:43 pm |
|
|
|
Guest
|
Most probably, Wolfram Research folks know a good approximation to
crack tangibly your tough nut. :)
At least one of them might be at vacation now ))
Anyways, our calculations show that the integrals involving at least
1 parameter present a challenge for the modern computer algebra
systems.
On Jun 16, 10:09 pm, cliclic... at (no spam) freenet.de wrote:
Quote: What percentage of the *definite* integrals in the Gradshteyn-Ryzhik
collection still cannot be found by simply typing them into the latest
computer algebra systems?
The more people document their experience the more accurate the
estimate will be!
Martin. |
|
|
| Back to top |
|
| ... |
Posted: Sat Jun 21, 2008 7:28 am |
|
|
|
Guest
|
Vladimir Bondarenko schrieb:
Quote: Most probably, Wolfram Research folks know a good approximation to
crack tangibly your tough nut. :)
At least one of them might be at vacation now ))
Hmmm, called for formula debugging duty, perhaps ;)
Quote:
Anyways, our calculations show that the integrals involving at least
1 parameter present a challenge for the modern computer algebra
systems.
Thanks for widening the audience. Daniel Lichtblau gives a very
interesting overview of the state of the art of Symbolic Definite
Integration in Mathematica at
<http://library.wolfram.com/infocenter/Conferences/5832/>.
Martin. |
|
|
| Back to top |
|
| |
|
Page 1 of 1
All times are GMT - 5 Hours
The time now is Fri Nov 21, 2008 3:10 am
|
|