on-line documentation
Tools

Symbolic Circuit Simulator by Roberto Perez-Franco