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.
AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS / Boreale M.; Collodi L.; Gorla D.. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - ELETTRONICO. - 20:(2024), pp. 15:1-15:20. [10.46298/lmcs-20(2:15)2024]
AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS
Boreale M.;Collodi L.;Gorla D.
2024
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
