Verfahren Zur Rechnergest?tzten Analyse Linearer Netzwerke