Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms

DOI10.1016/J.AMC.2005.02.058zbMath1092.65078OpenAlexW2017824217MaRDI QIDQ2489154

Caidi Zhao

Publication date: 16 May 2006

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2005.02.058

zbMATH Keywords

wave equationCauchy problemnumerical examplesMaplemechanization

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Wave equation (35L05) Method of lines for initial value and initial-boundary value problems involving PDEs (65M20) Packaged methods for numerical algorithms (65Y15)

Related Items (2)

Numerical methods for nonlinear second-order hyperbolic partial differential equations. I: Time-linearized finite difference methods for 1-D problems ⋮ Algorithmization and mechanization of the Cauchy problem associated with the plate equation

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Algorithm and mechanization to Cauchy problem of parabolic equation
• Travelling wave solutions to the two-dimensional KdV-Burgers equation

This page was built for publication: Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms