Automatic pre- and postconditions for partial differential equations

DOI10.1016/J.IC.2021.104860zbMATH Open1491.35119OpenAlexW4226537812WikidataQ114172437 ScholiaQ114172437MaRDI QIDQ5925548FDOQ5925548

Michele Boreale

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

zbMATH Keywords

coalgebrainitial value problemspolynomials formal power series

Mathematics Subject Classification ID

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic computation of differential equivalences
• Associative differential operations
• Non-linear loop invariant generation using Gröbner bases
• A coalgebraic perspective on linear weighted automata
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Computing representations for radicals of finitely generated differential ideals
• Sufficient set of integrability conditions of an orthonomic system
• Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
• Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
• Weighted Bisimulation in Linear Algebraic Form
• Formal algorithmic elimination for PDEs
• An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
• Automatic invariant generation for hybrid systems using ideal fixed points
• Reduction of systems of nonlinear partial differential equations to simplified involutive forms
• Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components
• Logics of Dynamical Systems
• Trajectories of polynomial vector fields and ascending chains of polynomial ideals
• On the Coalgebra of Partial Differential Equations
• A linear-algebraic method to compute polynomial PDE conservation laws
• Differential Hybrid Games
• Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S
• Trusting computations: a mechanized proof from partial differential equations to actual program
• Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters
• Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
• Algorithms for exact and approximate linear abstractions of polynomial continuous systems
• Automatic pre- and postconditions for partial differential equations
• Algebra and coalgebra of stream products

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Automatic synthesis of numerical codes for solving partial differential equations 👍 👎
• Automatic differentiation for solving nonlinear partial differential equations: an efficient operator overloading approach 👍 👎
• Analysis of Preconditioners for Hyperbolic Partial Differential Equations 👍 👎
• Computational aspects of some autonomous differential equations 👍 👎
• Automated Adjoints of Coupled PDE-ODE Systems 👍 👎
• The Automatic Construction and Solution of a Partial Differential Equation from the Strong Form 👍 👎
• Automatic pre- and postconditions for partial differential equations 👍 👎

This page was built for publication: Automatic pre- and postconditions for partial differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5925548)