Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: An independent integration test suite
Replies: 128   Last Post: Dec 8, 2013 3:21 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
clicliclic@freenet.de

Posts: 960
Registered: 4/26/08
An independent integration test suite
Posted: Feb 24, 2013 10:11 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply


The Russian book "Integration of Functions"
(?????????????? ???????) published by A.F. Timofeev
(?.?. ????????) in 1948 provides many integration Examples
(???????) of the following general kind:

INT(LN(x)^2*x, x) = x^2/2*(LN(x)^2 - LN(x) + 1/2)

INT(LN(x)/x^5, x) = - (4*LN(x) + 1)/(16*x^4)

INT(x^2*LN((x - 1)/x), x) = x^3/3*LN((x - 1)/x) - LN(x - 1)/3 - x*(x +
2)/6

INT(COS(x)^5, x) = SIN(x)/15*(3*COS(x)^4 + 4*COS(x)^2 + 8)

INT(SIN(x)^2*COS(x)^4, x) = 1/6*SIN(x)^3*COS(x)^3 + 1/8*SIN(x)^3*COS(x)
- 1/16*SIN(x)*COS(x) + x/16

INT(1/SIN(x)^5, x) = 3/8*LN(TAN(x/2)) - 3*COS(x)/(8*SIN(x)^2) -
COS(x)/(4*SIN(x)^4)

INT(SIN(x)/#e^x, x) = - (COS(x) + SIN(x))/(2*#e^x)

INT(#e^(2*x)*SIN(3*x), x) = 1/13*#e^(2*x)*(2*SIN(3*x) - 3*COS(3*x))

INT(a^x*COS(x), x) = a^x/(LN(a)^2 + 1)*(LN(a)*COS(x) + SIN(x))

INT(COS(LN(x)), x) = x/2*(COS(LN(x)) + SIN(LN(x)))

INT(SEC(x)^2*LN(COS(x)), x) = TAN(x)*LN(COS(x)) + TAN(x) - x

INT(x*TAN(x)^2, x) = LN(COS(x)) + x*TAN(x) - 1/2*x^2

INT(ASIN(x)/x^2, x) = - ASIN(x)/x + LN((1 - SQRT(1 - x^2))/x)

INT(ASIN(x)^2, x) = x*ASIN(x)^2 + 2*SQRT(1 - x^2)*ASIN(x) - 2*x

INT(x^2*ATAN(x)/(1 + x^2), x) = x*ATAN(x) - 1/2*ATAN(x)^2 - 1/2*LN(x^2 +
1)

INT(ACOS(SQRT(x/(x + 1))), x) = (x + 1)*(ACOS(SQRT(x/(x + 1))) +
SQRT(1/(x + 1))*SQRT(x/(x + 1)))

There are 8 chapters in the book containing 81+90+14+132+120+26+11+59 =
533 integration examples; the above are numbers 76 to 81 from chapter 1.
I believe the whole would make a good independent integration test suite
because the book antedates all automated integrators and because the
author claims to cover the field thoroughly (with respect to integrals
expressible by elementary functions and by elliptic integrals). In the
Foreword (???????????), he writes (as translated by Google):

"In most of the guides on higher mathematics the question of integration
of functions of one independent variable has a fairly complete coverage,
so that very often students do not get a clear idea of ??what functions
are integrated in closed form, for which this integration is impossible,
and what techniques are useful in a particular case for various kinds of
functions. With this in mind, the author of this book sought to explain
the issue to a possible full, paying particular attention to the
practice of integration, thus introducing a large number of examples.
Thus, this book can serve as a first, a reference book for those wanting
to get a quick response with respect to a quadrature, and secondly, aid
for students who wish to supplement and deepen their knowledge in this
matter."

Some may prefer the original:

"? ??????? ????? ?????????? ?? ?????? ?
????????? ?????? ?? ??????????????
??????? ?????? ???????????? ?????????
?? ?? ????? ?????????? ???????
?????????, ?????????? ???? ????? ?????
???????? ?? ???????? ??????
????????????? ? ???, ????? ??????? ????
????????? ? ???????? ????, ???
????? ??? ?????????????? ?????????? ?
????? ?????? ?????????????
????????? ? ??? ??? ???? ?????? ??? ???
?????? ????? ???????. ???? ??? ?
????, ????? ? ????????? ????? ?????????
???????? ?????? ? ?????????
????????, ??????? ?????? ???????? ?? ??
?????? ??????????????, ????? ???
???? ??????? ?????????? ????????. ????
? ???????, ????? ??? ?????
???????, ??-??????, ???????????? ??? ??
?, ???????? ???????? ?????? ?????
???????????? ??? ??? ???? ??????????, ?
??-??????, ???????? ???
????????, ???????? ????????? ? ???????
? ???? ?????? ? ???? ???????."

A djvu file of the book (6 Megabyte) can be downloaded freely from
various websites - just google the Russian title. The full name of the
author apparently was Aleksandr Fedotovich Timofeev (?????????
????????? ????????), but I couldn't locate any
information on him beyond this. A Russian review of the book is
available at:

<http://www.mathnet.ru/links/5566c95518efdede979ffdc8a2278b01/rm8600.pdf>

There are the usual misprints in the book, but with both the integrand
and antiderivative available, the original meaning can be reconstructed
for all (or almost all) examples I think. Timofeev's antiderivatives are
usually close to the most compact form possible (an exception is his
consistent use of logarithms for inverse hyperbolic functions), but they
have to be checked for validity over the complex plane, and be corrected
if necessary (this seems rare, but was needed for the last example
above). Apart from compactness, continuity (and reality) on the real
axis might be worth checking and repairing too.

So, if 5 to 10 people were found willing to type in and check (and
perhaps correct or improve) 50 to 100 integrals and evaluations each, a
digitization of this corpus could be an almost pleasant task, and surely
quite useful. What do you think?

Martin.


Date Subject Author
2/24/13
Read An independent integration test suite
clicliclic@freenet.de
3/19/13
Read where the air gets thin for Axiom & Co.
clicliclic@freenet.de
3/21/13
Read Re: where the air gets thin for Axiom & Co.
Waldek Hebisch
3/22/13
Read Re: where the air gets thin for Axiom & Co.
clicliclic@freenet.de
3/26/13
Read Re: where the air gets thin for Axiom & Co.
Waldek Hebisch
3/26/13
Read Re: where the air gets thin for Axiom & Co.
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
Nasser Abbasi
4/20/13
Read Re: An independent integration test suite
Rouben Rostamian
4/20/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
Rouben Rostamian
4/20/13
Read Re: An independent integration test suite
Axel Vogt
4/20/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
Axel Vogt
4/21/13
Read Re: An independent integration test suite
Axel Vogt
4/21/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/21/13
Read Re: An independent integration test suite
Waldek Hebisch
4/22/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/22/13
Read Re: An independent integration test suite
Axel Vogt
4/22/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/23/13
Read Re: An independent integration test suite
Waldek Hebisch
4/24/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/25/13
Read Re: An independent integration test suite
Waldek Hebisch
4/26/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/27/13
Read Re: An independent integration test suite
Waldek Hebisch
4/24/13
Read Re: An independent integration test suite
Richard Fateman
4/24/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/25/13
Read Re: An independent integration test suite
Richard Fateman
4/26/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/26/13
Read Re: An independent integration test suite
Axel Vogt
4/27/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/25/13
Read Re: An independent integration test suite
Waldek Hebisch
4/25/13
Read Re: An independent integration test suite
Peter Pein
4/25/13
Read Re: An independent integration test suite
Nasser Abbasi
4/26/13
Read Re: An independent integration test suite
Peter Pein
4/26/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/26/13
Read Re: An independent integration test suite
Peter Pein
4/26/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/26/13
Read Re: An independent integration test suite
Richard Fateman
4/27/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/27/13
Read Re: An independent integration test suite
Richard Fateman
6/30/13
Read Re: An independent integration test suite
clicliclic@freenet.de
6/30/13
Read Re: An independent integration test suite / Chap 3
Axel Vogt
7/1/13
Read Re: An independent integration test suite / Chap 3
clicliclic@freenet.de
7/1/13
Read Re: An independent integration test suite / Chap 3
Axel Vogt
7/1/13
Read Re: An independent integration test suite
Waldek Hebisch
7/2/13
Read Re: An independent integration test suite
clicliclic@freenet.de
7/2/13
Read Re: An independent integration test suite
clicliclic@freenet.de
7/2/13
Read Re: An independent integration test suite
clicliclic@freenet.de
7/2/13
Read Re: An independent integration test suite
Nasser Abbasi
7/2/13
Read Re: An independent integration test suite
Nasser Abbasi
7/4/13
Read Re: An independent integration test suite
clicliclic@freenet.de
7/4/13
Read Re: An independent integration test suite
Nasser Abbasi
7/4/13
Read Re: An independent integration test suite
Nasser Abbasi
7/5/13
Read Re: An independent integration test suite
clicliclic@freenet.de
7/5/13
Read Re: An independent integration test suite
Nasser Abbasi
7/9/13
Read Re: An independent integration test suite
clicliclic@freenet.de
7/10/13
Read Re: An independent integration test suite
Nasser Abbasi
7/10/13
Read Re: An independent integration test suite/ Klerer?
Richard Fateman
7/10/13
Read Re: An independent integration test suite/ Klerer?
Nasser Abbasi
7/10/13
Read Re: An independent integration test suite
clicliclic@freenet.de
8/6/13
Read Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
9/15/13
Read Re: Rubi 4.1 and the Timofeev test suite
Albert D. Rich
9/15/13
Read Re: Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
9/15/13
Read Re: Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
9/21/13
Read Re: Rubi 4.1 and the Timofeev test suite
Albert D. Rich
9/21/13
Read Re: Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
9/22/13
Read Re: Rubi 4.1 and the Timofeev test suite
daly@axiom-developer.org
9/24/13
Read Re: Rubi 4.1 and the Timofeev test suite
daly@axiom-developer.org
9/30/13
Read Re: Rubi 4.1 and the Timofeev test suite
daly@axiom-developer.org
9/22/13
Read Re: Rubi 4.1 and the Timofeev test suite
Albert D. Rich
9/25/13
Read The Timofeev symbolic integration test suite
Albert D. Rich
9/25/13
Read Re: Rubi 4.1 and the Timofeev test suite
Albert D. Rich
9/25/13
Read Re: Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
9/25/13
Read Re: Rubi 4.1 and the Timofeev test suite
Albert D. Rich
9/26/13
Read The Timofeev symbolic integration test suite
Albert D. Rich
9/26/13
Read Re: Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
9/26/13
Read Re: Rubi 4.1 and the Timofeev test suite
Albert D. Rich
9/29/13
Read Re: Rubi 4.1 and the Timofeev test suite
clicliclic@freenet.de
10/1/13
Read The A. F. Timofeev symbolic integration test suite
Albert D. Rich
10/1/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
10/1/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
10/5/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
10/5/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
10/6/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
10/10/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
10/10/13
Read Re: The A. F. Timofeev symbolic integration test suite
Nasser Abbasi
10/11/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/6/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/6/13
Read Re: The A. F. Timofeev symbolic integration test suite
Nasser Abbasi
11/7/13
Read Re: The A. F. Timofeev symbolic integration test suite
did
11/7/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/7/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/7/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/12/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/12/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/13/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/13/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/14/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/14/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/15/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/15/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/16/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/16/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/21/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/21/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/21/13
Read Re: The A. F. Timofeev symbolic integration test suite
Nasser Abbasi
11/21/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/21/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/22/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/14/13
Read Re: The A. F. Timofeev symbolic integration test suite
Albert D. Rich
11/15/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/15/13
Read Re: The A. F. Timofeev symbolic integration test suite
Nasser Abbasi
11/16/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
11/16/13
Read Re: The A. F. Timofeev symbolic integration test suite
Nasser Abbasi
11/7/13
Read Re: The A. F. Timofeev symbolic integration test suite
did
11/7/13
Read Re: The A. F. Timofeev symbolic integration test suite
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
Richard Fateman
4/21/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
Axel Vogt
4/20/13
Read Re: An independent integration test suite
clicliclic@freenet.de
4/20/13
Read Re: An independent integration test suite
Waldek Hebisch
4/21/13
Read Re: An independent integration test suite
G. A. Edgar
12/8/13
Read Re: An independent integration test suite
clicliclic@freenet.de
10/5/13
Read Re: An independent integration test suite
Albert D. Rich
10/6/13
Read Re: An independent integration test suite
clicliclic@freenet.de

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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.