About MuPAD ProA modern, full-featured computer algebra system in an integrated and open environment for symbolic and numeric computing.
The Geometer's Sketchpad (GSP5).