Introduction to Rational Functions
Christoph Schwarzweller · Formalized Mathematics · 2012
Summary In this article we formalize rational functions as pairs of polynomials and define some basic notions including the degree and evaluation of rational functions [8]. The main goal of the article is to provide properties of rational functions necessary to prove a theorem on the stability of networks