An implicit function theorem for the stream calculus

Michele Boreale, Luisa Collodi, Daniele Gorla

In the context of the stream calculus, we present an Implicit Function Theorem (IFT) for polynomial systems, and discuss its relations with the classical IFT from calculus. In part…