Search

• < Previous
• 1
• Next >

---

Algebra, coalgebra, and minimization in polynomial differential equations

Michele Boreale.

We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting system behaviours. We endow this set with a transition system structure based on the concept of Lie-derivative, thus&nbsp;[&hellip;]

---

An implicit function theorem for the stream calculus

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&nbsp;[&hellip;]

---