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

computer algebrasymbolic computationMaplesymbolic integrationautomatic provingmean-value theorems for derivativesnonnumerical algorithms

Mathematics Subject Classification ID

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

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

• 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?)
• 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

Cited in

(27)

• scientific article; zbMATH DE number 2009889 (Why is no real title available?)
• A mechanical algorithm for solving the Volterra integral equation
• Symbolic integration of expressions involving unspecified functions
• A new symbolic computation for formal integration with exact power series
• Dynamics of a two-prey one-predator system with Watt-type functional response and impulsive control strategy
• An algorithm for solving DAEs with mechanization
• Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
• The dynamics of a Beddington-type system with impulsive control strategy
• Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations
• Computations of multi-resultant with mechanization
• A new approach to the algebraic structures for integration methods
• An algorithm for solving nonlinear singular perturbation problems with mechanization
• Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms
• Complicated dynamics of a predator-prey system with Watt-type functional response and impulsive control strategy
• An implementation for the algorithm of Hirota bilinear form of PDE in the Maple system
• A new algorithm for integral of trigonometric functions with mechanization
• scientific article; zbMATH DE number 3860382 (Why is no real title available?)
• Mechanization for solving SPP by reducing order method
• A mechanical algorithm for solving ordinary differential equation
• A new mechanical algorithm for solving the second kind of Fredholm integral equation
• Computer aided solving the high-order transition probability matrix of the finite Markov chain
• Chaotic behavior of a Watt-type predator-prey system with impulsive control strategy
• Mechanical algorithm for solving the second kind of Volterra integral equation
• The dynamic complexity of a three-species Beddington-type food chain with impulsive control strategy
• Algorithm and mechanization to Cauchy problem of parabolic equation
• An algorithm for solving the high-order nonlinear Volterra-Fredholm integro-differential equation with mechanization
• scientific article; zbMATH DE number 3999281 (Why is no real title available?)

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)