A new algorithm for symbolic integration with application

DOI10.1016/J.AMC.2004.01.019MaRDI QIDQ1765837zbMATH OpenOpenAlexFDO

Authors Weiming Wang, Xinze Lian

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

automatic provingcomputer algebraMaplemean-value theorems for derivativesnonnumerical algorithmssymbolic computationsymbolic integration

Mathematics Subject Classification ID

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

Review text

The paper deals with symbolic computation. The authors apply methods of mathematical analysis and computer algebra and propose a Maple procedure for symbolic integration. Then they use the above algorithm to the automatic proof of the mean-value theorems for derivatives. Finally they present the performances of their procedure and remark that it is more powerful than the Maple function int.

Recommendations

• A new symbolic computation for formal integration with exact power series
• scientific article; zbMATH DE number 3999281
• Symbolic integration using homotopy methods
• Symbolic integration of Jacobi elliptic functions in Maple
• scientific article; zbMATH DE number 1263340

Cites work

• Basic principles of mechanical theorem proving in elementary geometries
• scientific article; zbMATH DE number 3539473 (Why is no real title available?)
• scientific article; zbMATH DE number 517393 (Why is no real title available?)
• scientific article; zbMATH DE number 715010 (Why is no real title available?)
• scientific article; zbMATH DE number 3205524 (Why is no real title available?)
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang

Cited in

(28)

• A new symbolic computation for formal integration with exact power series
• A new algorithm for integral of trigonometric functions with mechanization
• A new approach to the algebraic structures for integration methods
• 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
• Chaotic behavior of a Watt-type predator-prey system with 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
• 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
• Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
• scientific article; zbMATH DE number 3860382 (Why is no real title available?)
• Symbolic integration of expressions involving unspecified functions
• scientific article; zbMATH DE number 1263340 (Why is no real title available?)
• scientific article; zbMATH DE number 2009889 (Why is no real title available?)
• scientific article; zbMATH DE number 3999281 (Why is no real title available?)
• Dynamics of a two-prey one-predator system with Watt-type functional response and impulsive control strategy
• Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations
• An implementation for the algorithm of Hirota bilinear form of PDE in the Maple system
• 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

Describes a project that uses

Uses Software

• Maple

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1765837)