Automatic pre- and postconditions for partial differential equations
DOI10.1007/978-3-030-59854-9_15zbMath1486.35128OpenAlexW3095770613MaRDI QIDQ5918408
Publication date: 8 December 2021
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-59854-9_15
weakest preconditionsformal power series solutionsdecomposition into subsystemspolynomial PDEsstrongest postconditions
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)
Related Items (1)
Uses Software
This page was built for publication: Automatic pre- and postconditions for partial differential equations