A new algorithm for symbolic integration with application

DOI10.1016/j.amc.2004.01.019zbMath1076.65022OpenAlexW2055411248MaRDI QIDQ1765837

Xinze Lian, Weiming Wang

Publication date: 23 February 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.01.019

zbMATH Keywords

symbolic computationcomputer algebrasymbolic integrationMapleautomatic provingmean-value theorems for derivativesnonnumerical algorithms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonnumerical algorithms (68W05) Numerical integration (65D30)

Related Items

An algorithm for solving the high-order nonlinear Volterra-Fredholm integro-differential equation with mechanization ⋮ Computer aided solving the high-order transition probability matrix of the finite Markov chain ⋮ A mechanical algorithm for solving ordinary differential equation ⋮ A new mechanical algorithm for solving the second kind of Fredholm integral equation ⋮ An implementation for the algorithm of Hirota bilinear form of PDE in the Maple system ⋮ Dynamics of a two-prey one-predator system with Watt-type functional response and impulsive control strategy ⋮ Chaotic behavior of a Watt-type predator-prey system with impulsive control strategy ⋮ The dynamics of a Beddington-type system with impulsive control strategy ⋮ Complicated dynamics of a predator-prey system with Watt-type functional response and impulsive control strategy ⋮ The dynamic complexity of a three-species Beddington-type food chain with impulsive control strategy ⋮ Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms ⋮ A mechanical algorithm for solving the Volterra integral equation ⋮ Mechanical algorithm for solving the second kind of Volterra integral equation ⋮ Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations ⋮ An algorithm for solving DAEs with mechanization ⋮ An algorithm for solving nonlinear singular perturbation problems with mechanization ⋮ Algorithm and mechanization to Cauchy problem of parabolic equation ⋮ Computations of multi-resultant with mechanization ⋮ Mechanization for solving SPP by reducing order method

Uses Software

• Maple

Cites Work

• Basic principles of mechanical theorem proving in elementary geometries
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A new algorithm for symbolic integration with application