On the Coalgebra of Partial Differential Equations
From MaRDI portal
Publication:5092383
DOI10.4230/LIPIcs.MFCS.2019.24OpenAlexW2970807953MaRDI QIDQ5092383
Publication date: 21 July 2022
Full work available at URL: https://doi.org/10.4230/LIPIcs.MFCS.2019.24
Related Items
Automatic pre- and postconditions for partial differential equations, A linear-algebraic method to compute polynomial PDE conservation laws
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A coalgebraic perspective on linear weighted automata
- Computing representations for radicals of finitely generated differential ideals
- Trajectories of polynomial vector fields and ascending chains of polynomial ideals
- An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Trusting computations: a mechanized proof from partial differential equations to actual program
- Sufficient set of integrability conditions of an orthonomic system
- Automatic invariant generation for hybrid systems using ideal fixed points
- Logics of Dynamical Systems
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- Weighted Bisimulation in Linear Algebraic Form
- Non-linear loop invariant generation using Gröbner bases
- Reduction of systems of nonlinear partial differential equations to simplified involutive forms
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems
- Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S
- Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
- Differential Hybrid Games