With 14 chapters written by leading experts and educators, this book covers a range of topics from teaching philosophy and curriculum development to symbolic and algebraic manipulation and automated geometric reasoning, and to the design and implementation of educational software and integrated teaching and learning environments.