A Knowledge Repository for Indefinite Integration Based on Transformation Rules

DOI10.1007/978-3-642-02614-0_39MaRDI QIDQ3637306zbMATH OpenOpenAlexFDO

Authors Albert D. Rich, D. J. Jeffrey

Publication date 9 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02614-0_39

Mathematics Subject Classification ID

Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Knowledge representation (68T30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Symbolic definite (and indefinite) integration
• scientific article; zbMATH DE number 524189
• scientific article; zbMATH DE number 1328871
• Knowledge-based interoperability for mathematical software systems
• Efficient integration of ordinary differential equations by transformation
• scientific article; zbMATH DE number 3975589
• scientific article; zbMATH DE number 3846192
• Generalized integral transformations
• scientific article; zbMATH DE number 934542
• scientific article; zbMATH DE number 4045135

Cited in

(3)

• Indefinite integration as term rewriting: integrals containing tangent
• Reducing expression size using rule-based integration
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: A Knowledge Repository for Indefinite Integration Based on Transformation Rules

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