Polynomial and contour proof foundations
Polynomial and contour interfaces for stable boundary models: scalar division, Bezout, finite projections, complex roots, full finite linear algebra, contour moments and parameter differentiation. Structured source · PDF.