TCAD Semiconductor Device Simulator
Symbolic differentation of algebraic expressions with Python and Tcl interfaces.