A maple-based homotopic circuit simulation package

A topological approach for determining the uniqueness of the DC solutions in MOS-transistor circuits

Matrix-oriented methods for searching the topological conditions for the analysis of nonlinaer resistive circuits

Using symbolic techniques to determine the effect of the coupled variables in homotopic simulation