By Jiří Gregor,Jaroslav Tišer

ISBN-10: 0857290541

ISBN-13: 9780857290540

Interrelated thoughts are hooked up by way of links, pointing towards more straightforward or more challenging difficulties that allows you to convey paths of mathematical reasoning. uncomplicated definitions and theorems can be chanced on by way of links from suitable locations. difficulties are open to replacement formulations, generalizations, simplifications, and verification of hypotheses through the reader; this can be proven to be priceless in fixing problems.

The booklet offers how complex mathematical software program can reduction all phases of mathematical reasoning whereas the mathematical content material is still in foreground. The authors exhibit how software program can give a contribution to deeper knowing and to enlarging the scope of training for college kids and academics of mathematics.