Unique Stream Solution of Polynomial Systems via Implicit Function Theorem

Under certain syntactic conditions, a system of polynomial equations has a unique stream solution, which can be defined via a polynomial stream differential equation initial value problem.