Algorithm and mechanization to Cauchy problem of parabolic equation

DOI10.1016/j.amc.2004.11.009zbMath1080.65102OpenAlexW2071700376MaRDI QIDQ2571955

Caidi Zhao

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

zbMATH Keywords

AlgorithmCauchy problemMapleParabolic equationsMechanization

Mathematics Subject Classification ID

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

• Maple

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