Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part

Manuel Kauers

doi:10.1145/1390768.1390789

Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part

Manuel Kauers

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

A new method is proposed for finding the logarithmic part of an integral over an algebraic function. The method uses Gr\"obner bases and is easy to implement. It does not have the feature of finding a closed form of an integral whenever there is one. But it very often does, as we will show by a comparison with the built-in integrators of some computer algebra systems.

Original language	English
Title of host publication	Proceedings of ISSAC'08
Subtitle of host publication	Proceedings of the 21st International Symposium on Symbolic and Algebraic Computation 2008
Editors	David Jeffrey
Pages	133-140
Number of pages	8
DOIs	https://doi.org/10.1145/1390768.1390789
Publication status	Published - 2008

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Access to Document

10.1145/1390768.1390789

Cite this

@inproceedings{bcfcab24471440abbfc6cf35dc474122,

title = "Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part",

abstract = "A new method is proposed for finding the logarithmic part of an integral over an algebraic function. The method uses Gr\textbackslash{}{"}obner bases and is easy to implement. It does not have the feature of finding a closed form of an integral whenever there is one. But it very often does, as we will show by a comparison with the built-in integrators of some computer algebra systems.",

author = "Manuel Kauers",

year = "2008",

doi = "10.1145/1390768.1390789",

language = "English",

isbn = "978-1-59593-904-3",

pages = "133--140",

editor = "\{David Jeffrey\}",

booktitle = "Proceedings of ISSAC'08",

}

TY - GEN

T1 - Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part

AU - Kauers, Manuel

PY - 2008

Y1 - 2008

N2 - A new method is proposed for finding the logarithmic part of an integral over an algebraic function. The method uses Gr\"obner bases and is easy to implement. It does not have the feature of finding a closed form of an integral whenever there is one. But it very often does, as we will show by a comparison with the built-in integrators of some computer algebra systems.

AB - A new method is proposed for finding the logarithmic part of an integral over an algebraic function. The method uses Gr\"obner bases and is easy to implement. It does not have the feature of finding a closed form of an integral whenever there is one. But it very often does, as we will show by a comparison with the built-in integrators of some computer algebra systems.

UR - https://www.scopus.com/pages/publications/57449096739

U2 - 10.1145/1390768.1390789

DO - 10.1145/1390768.1390789

M3 - Conference proceedings

SN - 978-1-59593-904-3

SP - 133

EP - 140

BT - Proceedings of ISSAC'08

A2 - David Jeffrey, null

ER -

Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part

Abstract

Fields of science

Access to Document

Other files and links

Cite this