ABSTRACT
The advent of the modern computer mathematics systems makes much previously elusive material tangible and certainly helps drive a taste for the concrete. Even when not explicitly using such software, a constructive computational approach to mathematical proofs and derivations is often significantly more enlightening and intuition-promoting than purely abstract approaches. Illustrating both the power and the pleasure of these constructive approaches is the aim of this chapter.
