Formal Algorithmic Elimination for PDEs
From MaRDI portal
Publication:2985803
DOI10.1145/2930889.2930941zbMath1364.35008OpenAlexW4301508226MaRDI QIDQ2985803
Publication date: 10 May 2017
Published in: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2930889.2930941
Symbolic computation and algebraic computation (68W30) Navier-Stokes equations (35Q30) Differential algebra (12H05) Solutions to PDEs in closed form (35C05) Software, source code, etc. for problems pertaining to partial differential equations (35-04)
Related Items (1)
Uses Software
This page was built for publication: Formal Algorithmic Elimination for PDEs
