Gregor J., Tiser J. Discovering Mathematics: A Problem-Solving Approach to Mathematical Analysis with MATHEMATICA and Maple

Springer, 2010. — 247 p.The book contains chapters on a structured approach to problem-solving in mathematical analysis on an intermediate level. It follows the ideas of G. Polya and others, distinguishing between exercises and problem-solving in mathematics. Interrelated concepts are connected by hyperlinks, pointing toward easier or more difficult problems to show paths of mathematical reasoning. Basic definitions and theorems can also be found by hyperlinks from relevant places. Problems are open to alternative formulations, generalizations, simplifications, and verification of hypotheses by the reader; this is shown to help solve problems. The book presents how advanced mathematical software can aid all stages of mathematical reasoning while the mathematical content remains in the foreground. The authors show how software can contribute to deeper understanding and to enlarging the scope of teaching for students and teachers of mathematics.