AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS

被引：0

作者：

Boreale, Michele ^{[1
]}

Collodi, Luisa ^{[1
]}

Gorla, Daniele ^{[2
]}

机构：

[1] Univ Firenze, Florence, Italy

[2] Sapienza Univ Roma, Rome, Italy

来源：

LOGICAL METHODS IN COMPUTER SCIENCE | 2024年 / 20卷 / 02期

关键词：

All Open Access; Gold; Green;

D O I：

10.46298/LMCS-20(2:15)2024

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：1 / 15

页数：20

共 30 条

[1]

Basold Henning, 2014, LNCS, V8464, P124

[2] The Calculus of Signal Flow Diagrams I: Linear relations on streams [J].