What
are the ways of computer algebra systems? What is in store
for us?
Will you see at this site a tragedy, a comedy, and maybe even
a wonder?
What is this site, this Chapter 1 of 15, really?
An introduction, an invitation, a stage, a crucible, a proof
ground, the tip of the iceberg.
This site is an introduction to a computer algebra system
of that time of the XXI century when Maple, Mathematica, MuPAD,
and Derive will coevolve into new delectable Systems which
will emerge and catharize us from deformity and pseudo-math
trash we see now so often in outputs of most of modern computer
algebra systems. Then, lost in admiration, we will use these
systems delighted with its Beauty.
This site is an invitation. While I am writing
these lines, the wizards of IBM,
Intel,
AMD, NASA,
AT&T,
and maybe young unknown me engineering geniuses in labs are
racking their brains with 64 dollar performance improvement
questions pioneering new grounds for computer algebra systems.
I invite researchers who surpass me in skills as well as my
compeers to think how we can make the best use of upcoming
huge hardware potential and give not it to get dissipated
grotesquely to handle our own ill-designed and bad-implemented
programming logic.
This site is a stage, too. At this site,
for the first time in history, Cinderella of quality assurance
will change into a Princess who will share Her spells with
Architects and Developers.
This site is a crucible in which having melted,
the good old computer algebra will give birth to a new generation
of computer algebra systems in the process of zone melting.
This site is also a proof ground on which novel software testing
ideas will experience baptism of fire.
Computational instinct gives me a vague, difficult to express
feeling that in the process of deploying of the site some
unexpected stuff will be introduced thus making the site something
like the tip of the iceberg.
Last but not least. This site is launched
to inspire the reader and show what a single person armed
with an idea can do.
Let's start with a cursory sketch of analysis of math correctness
of commercial general purpose computer algebra systems.
Onward,
Vladimir
Bondarenko |