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: Jul 22, 2008 11:31 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Jul 21, 10:37 pm, Vladimir Bondarenko <v...@cybertester.com> wrote:
> On Jul 13, 6:45 am, Vladimir Bondarenko <v...@cybertester.com> wrote:
>
>
>

> > Our fully automated machinery discovered new types
> > of defects in commercial computer algebra systems.

>
> > These types of bugs were never reported before.
>
> > At the moment, we feel that it's too early to give
> > any details.

>
> > Best wishes,
>
> > Vladimir Bondarenko
>
> > VM and GEMM architect
> > 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."

>
> > ----------------------------------------------
>
> Just a new example of known types of defects.
>
> At 2.13 GHz machine with RAM of 4 Gb, it takes
> 20000+ seconds to a commercial computer algebra
> system to calculate a TABLE integral.
>
> And to top it all, there is no singularity in
> the integrand, and the integral is taken over
> [0..1].
>
> Best wishes,
>
> Vladimir Bondarenko
>
> VM and GEMM architect
> 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."
>
> -----------------------------------------------


Yet another funny case.

A commercial computer algebra system generates,
for a relatively simple integral, a false huge
imaginary part of about 10^100. (It's not an
approximation effect; same for 10000 digits.)

Best wishes,

Vladimir Bondarenko

VM and GEMM architect
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.