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