The Emmy Computer Algebra System.
Exercises and notes on Structure and Interpretation of Classical Mechanics.