Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2303.11876 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911978046357504 |
|---|---|
| author | Boreale, Michele Collodi, Luisa Gorla, Daniele |
| author_facet | Boreale, Michele Collodi, Luisa Gorla, Daniele |
| 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2303_11876 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | An implicit function theorem for the stream calculus Boreale, Michele Collodi, Luisa Gorla, Daniele Logic in Computer Science 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. |
| title | An implicit function theorem for the stream calculus |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2303.11876 |