Michele Boreale ; Luisa Collodi ; Daniele Gorla - An implicit function theorem for the stream calculus

lmcs:11103 - Logical Methods in Computer Science, June 18, 2024, Volume 20, Issue 2 - https://doi.org/10.46298/lmcs-20(2:15)2024
An implicit function theorem for the stream calculusArticle

Authors: 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 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.

    https://doi.org/10.46298/lmcs-20(2:15)2024
    Source: arXiv.org:2303.11876
    Volume: Volume 20, Issue 2
    Published on: June 18, 2024
    Accepted on: April 23, 2024
    Submitted on: March 22, 2023
    Keywords: Computer Science - Logic in Computer Science
    Licence: Attribution 4.0 International (CC BY 4.0)

    Classifications

    Mathematics Subject Classification 20201
    Sources:
    • [1] zbMATH Open.

    Share and export

    Consultation statistics

    This page has been seen 910 times.
    This article's PDF has been downloaded 180 times.