An implicit function theorem for the stream calculus
-
Published:2024-06-18
Issue:
Volume:Volume 20, Issue 2
Page:
-
ISSN:1860-5974
-
Container-title:Logical Methods in Computer Science
-
language:en
-
Short-container-title:
Author:
Boreale Michele,Collodi Luisa,Gorla Daniele
Abstract
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.
Publisher
Centre pour la Communication Scientifique Directe (CCSD)