{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:21Z","timestamp":1753894401714,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In the context of the stream calculus, we present an Implicit Function\nTheorem (IFT) for polynomial systems, and discuss its relations with the\nclassical IFT from calculus. In particular, we demonstrate the advantages of\nthe stream IFT from a computational point of view, and provide a few example\napplications where its use turns out to be valuable.<\/jats:p>","DOI":"10.46298\/lmcs-20(2:15)2024","type":"journal-article","created":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T11:40:06Z","timestamp":1718710806000},"source":"Crossref","is-referenced-by-count":0,"title":["An implicit function theorem for the stream calculus"],"prefix":"10.46298","volume":"Volume 20, Issue 2","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luisa","family":"Collodi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2024,6,18]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/13788\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/13788\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,18]],"date-time":"2024-06-18T11:40:07Z","timestamp":1718710807000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/11103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,18]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-20(2:15)2024","relation":{"has-preprint":[{"id-type":"arxiv","id":"2303.11876v2","asserted-by":"subject"},{"id-type":"arxiv","id":"2303.11876v1","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2303.11876","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2303.11876","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2024,6,18]]},"article-number":"11103"}}