Symbolic analysis of electronic circuits in SAGE (sagemath) starting from a SPICE (ngspice) netlist.