| |
 |
|
|
Science Forum Index » Math - Symbolic Forum » On the nature and goal of Cyber Tester's challenges
Page 1 of 1
|
| Author |
Message |
| Vladimir Bondarenko |
 Posted: Sun Apr 29, 2007 9:41 am |
|
|
|
Guest
|
On the nature and goal of Cyber Tester's challenges
Subj: Mathematization of Business
http://groups.google.com/group/sci.math.symbolic/msg/1353f27daf929385?hl=en&
[ ... ]
Within just 10-20 years, massive high-performance
non-expensive hardware coming will lead inevitably
to the next step of the competitive activity level
increase.
This step will be relied, on the largest scale ever,
upon computer algebra systems of a new generation,
one could name them, say, COSMOS, which stands for
COmputer Simulating Mathematically Open Systems.
In a nutshell, COSMOS will be a competitive weapon.
Unlike the past 50 years, mathematics will become a
vital instrument of business survival & expansion at
the same level that say now you and me wear a watch
at the wrist... almost without realizing this fact.
[ ... ]
http://groups.google.com/group/sci.math.symbolic/msg/aaa2ae83b7f110da?hl=en&
[ ... ]
Actually, the challenges are a tiny fraction of what
we hope could become the definitive, world's largest
benchmark test for new powerful computer algebra
systems to be created within the next 20-30 years.
[ ... ]
http://groups.google.com/group/sci.math.symbolic/msg/7e5976470350b02a?hl=en&
[ ... ]
We see yet another boon of immediate nature brought
by the Cyber Tester's exact challenge top climbing.
(An in-passing remark for the advanced readers, don't
get disappointed too early, right now we are still at
the piedmont... thanks for your patience.)
While trying to beat our challenges, we the customers
now and then encounter new bugs thus hopefully helping
the computer algebra systems manufacturers to improve
their systems.
[ ... ]
http://groups.google.com/group/sci.math.symbolic/msg/191399795fa045a2?hl=en&
[ ... ]
...... as I have emphasized repeatedly, Cyber Tester's
challenges are NOT about human beings, not about your
or my resourcefulness, but about modern- and next-
generation computer algebra systems' potential to deal
with some objects in a *straightforward* way -- so that
other relatively math unskilled persons could use CASs'
powers to resolve the toughest industrial, educational
and research challenges coming.
By requesting to publish the explicit human-based
solutions we hope to create, to accumulate a solid
stock of patterns to be possibly used along with
regular algorithms to handle various math tasks
automatically.
[ ... ] |
|
|
| Back to top |
|
| Vladimir Bondarenko |
| Posted: Sun Apr 29, 2007 11:49 pm |
|
|
|
Guest
|
http://groups.google.com/group/sci.math.symbolic/msg/ea861b72145e02aa?hl=en&
A bit more remarks.
The Cyber Tester's challenges as well as the data generated
by the experts on the basis of our challenges could help to
the developers of non-commercial computer algebra systems
like Maxima and Axiom to improve their systems.
While not ranked strictly in level of difficulties, roughly
speaking, the challenges are shown in an ascending order. In
other words, the hardest challenges are still not even shown.
Our challenges cover almost all the basis functionality built
in computer algebra systems like int, limit, simplify, series,
diff, solve, dsolve, and up to dozen of other most usable
operations.
Hopefully, some challenges or parts of them could be used to
teach student how to handle complex tasks.
While at present we'd willing not to name the exact figures,
the total number of the challenges is quite large even now
and keeps growing. Possibly, one fine day Cyber Tester would
publish a large list of the challenges so each expert could
pick up the tasks which are most appealing to his or her
computational gift.
Also, we have at least two surprises about our challenges ;)
.... but we are not sure about the exact time when we would
sound these surprises in public... still, it looks like now
we have realistic grounds to think it would not take more
than 2 years from this day ...
Any comments of any nature are much appreciated.
Best wishes,
Vladimir Bondarenko
VM and GEMM architect
Co-founder, CEO, Mathematical Director
http://www.cybertester.com/ Cyber Tester, LLC
http://maple.bug-list.org/ Maple Bugs Encyclopaedia
http://www.CAS-testing.org/ CAS Testing |
|
|
| Back to top |
|
| |
|
Page 1 of 1
All times are GMT - 5 Hours
The time now is Mon Dec 01, 2008 8:12 pm
|
|