Algorithm and mechanization to Cauchy problem of parabolic equation
From MaRDI portal
Publication:2571955
DOI10.1016/j.amc.2004.11.009zbMath1080.65102OpenAlexW2071700376MaRDI QIDQ2571955
Publication date: 14 November 2005
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2004.11.009
Symbolic computation and algebraic computation (68W30) Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs (65M70) Initial value problems for second-order parabolic equations (35K15)
Related Items (4)
The decomposition method for linear, one-dimensional, time-dependent partial differential equations ⋮ The decomposition method for initial value problems ⋮ Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms ⋮ Algorithmization and mechanization of the Cauchy problem associated with the plate equation
Uses Software
Cites Work
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- Vectorial equations solving for mechanical geometry theorem proving
- A new algorithm for symbolic integration with application
- Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation
- Travelling wave solutions to the two-dimensional KdV-Burgers equation
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Algorithm and mechanization to Cauchy problem of parabolic equation