Saved in:
Bibliographic Details
Main Authors: Boreale, Michele, Collodi, Luisa, Gorla, Daniele
Format: Preprint
Published: 2023
Subjects:
Online Access:https://arxiv.org/abs/2303.11876
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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 particular, we demonstrate the advantages of the stream IFT from a computational point of view, and provide a few example applications where its use turns out to be valuable.