Automatic pre- and postconditions for partial differential equations
From MaRDI portal
Publication:5925548
DOI10.1016/j.ic.2021.104860zbMath1491.35119OpenAlexW4226537812WikidataQ114172437 ScholiaQ114172437MaRDI QIDQ5925548
Publication date: 8 June 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2021.104860
Symbolic computation and algebraic computation (68W30) Series solutions to PDEs (35C10) Theoretical approximation in context of PDEs (35A35) Initial value problems for systems of nonlinear higher-order PDEs (35G55)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A coalgebraic perspective on linear weighted automata
- Formal algorithmic elimination for PDEs
- Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
- 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
- A linear-algebraic method to compute polynomial PDE conservation laws
- Trusting computations: a mechanized proof from partial differential equations to actual program
- Associative differential operations
- Sufficient set of integrability conditions of an orthonomic system
- Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
- 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
- Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components
- Reduction of systems of nonlinear partial differential equations to simplified involutive forms
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems
- On the Coalgebra of Partial Differential Equations
- 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
- Automatic pre- and postconditions for partial differential equations
- Symbolic computation of differential equivalences
- Algebra and coalgebra of stream products
This page was built for publication: Automatic pre- and postconditions for partial differential equations
