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: The year of Cyber Tester
Replies: 123   Last Post: Jul 1, 2011 4:00 AM

Advanced Search

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

Posts: 4,829
Registered: 12/4/04
Re: The year of Cyber Tester
Posted: Aug 25, 2008 10:47 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

--------------------------------------------------------------

As I wrote once,

http://groups.google.ca/group/sci.math/browse_thread/thread/7d0e3622b066ad09
http://groups.google.com/group/sci.edu/msg/7f9c2f81b043fe01

there seems to be quite a common fallacy that the VM machine
can only identify the bugs in integrals, limits, solvers, ODE
solvers etc

Nothing could be further from the truth. While it is still too
early to discuss publicly the VM machine QA scope, to perturb
a bit the monotony, we pinpoint yet another type of defect.

--------------------------------------------------------------

Being not humans, we do not know what fatigue is.

The last minute piece of news from the VM machine:

(* Mathematica 6.0.3 *)


LaplaceTransform[Sqrt[z] Cosh[z], z, s] returns

Sqrt[Pi]/(4 (1 + s)^(3/2))

while a correct answer is

Sqrt[Pi] (1/(s - 1)^(3/2) + 1/(s + 1)^(3/2))/4

.

Best wishes,

Vladimir Bondarenko

Co-founder, CEO, Mathematical Director

http://www.cybertester.com/ Cyber Tester, LLC

--------------------------------------------------------------

"We must understand that technologies
like these are the way of the future."

--------------------------------------------------------------



Date Subject Author
1/15/08
Read Re: The year of Cyber Tester
D Herring
3/10/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
3/10/08
Read Re: The year of Cyber Tester
Dave
3/11/08
Read Re: The year of Cyber Tester
nano bagonghi
3/11/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/29/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
5/26/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/20/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/13/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/22/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/22/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/24/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/26/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/29/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/5/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/5/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/6/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/8/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/23/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/23/08
Read Re: The year of Cyber Tester
Nasser Abbasi
9/7/08
Read Re: The year of Cyber Tester
Peter Pein
9/8/08
Read Re: The year of Cyber Tester
Axel Vogt
11/5/08
Read Re: The year of Cyber Tester
abc
11/10/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/23/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/24/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/25/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/26/08
Read Re: The year of Cyber Tester
clicliclic@freenet.de
8/29/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/30/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/30/08
Read Re: The year of Cyber Tester
clicliclic@freenet.de
8/30/08
Read Re: The year of Cyber Tester
clicliclic@freenet.de
8/31/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/31/08
Read Re: The year of Cyber Tester
clicliclic@freenet.de
8/31/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/31/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
9/9/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
9/9/08
Read Re: The year of Cyber Tester
clicliclic@freenet.de
10/9/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/10/08
Read Re: The year of Cyber Tester
Pfenniger Daniel
10/9/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/11/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/12/08
Read Re: The year of Cyber Tester
Walter Roberson
10/12/08
Read odd simplify in Maple [was: Re: The year of Cyber Tester]
Axel Vogt
10/12/08
Read Re: odd simplify in Maple [was: Re: The year of Cyber Tester]
Robert Israel
10/12/08
Read Re: odd simplify in Maple [was: Re: The year of Cyber Tester]
Axel Vogt
10/18/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/22/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/22/08
Read Re: The year of Cyber Tester
clicliclic@freenet.de
10/22/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
11/11/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/8/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/8/08
Read Re: The year of Cyber Tester
Any one
12/8/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/11/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/18/08
Read Re: The year of Cyber Tester
Vladimir Bondarenko
1/16/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
1/17/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
2/16/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
3/22/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/25/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/29/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/29/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/30/09
Read Re: The year of Cyber Tester
Chip Eastham
4/30/09
Read Re: The year of Cyber Tester
clicliclic@freenet.de
5/15/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/15/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/22/09
Read Re: The year of Cyber Tester
Dave
6/16/09
Read Re: The year of Cyber Tester
MeAmI.org
7/19/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/24/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/24/09
Read Re: The year of Cyber Tester
Richard Fateman
8/26/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
9/27/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/20/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
11/23/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/20/09
Read Re: The year of Cyber Tester
Vladimir Bondarenko
1/24/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
2/24/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
3/22/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/20/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
4/20/10
Read Re: The year of Cyber Tester
Guest
4/26/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
5/23/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/23/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
7/21/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/21/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
8/21/10
Read Re: The year of Cyber Tester
Peter Luschny
8/22/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
9/20/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/22/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/22/10
Read Re: The year of Cyber Tester
clicliclic@freenet.de
10/23/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
10/24/10
Read Re: The year of Cyber Tester
Albert D. Rich
10/25/10
Read Re: The year of Cyber Tester
clicliclic@freenet.de
10/26/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/1/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/23/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
12/25/10
Read Re: The year of Cyber Tester
Chip Eastham
12/25/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko
1/20/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
2/20/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
2/21/11
Read Re: The year of Cyber Tester
Richard Fateman
3/27/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
3/28/11
Read Re: The year of Cyber Tester
Richard Fateman
4/4/11
Read Re: The year of Cyber Tester
Chip Eastham
4/26/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
5/25/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/28/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/29/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/29/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/29/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/29/11
Read Re: The year of Cyber Tester
Axel Vogt
7/1/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/29/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/29/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/30/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
6/30/11
Read Re: The year of Cyber Tester
clicliclic@freenet.de
3/7/11
Read Re: The year of Cyber Tester
David Kirkby
3/22/11
Read Re: The year of Cyber Tester
Vladimir Bondarenko
9/20/10
Read Re: The year of Cyber Tester
Vladimir Bondarenko

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.