Integration of Transcendental Functions

Bronstein, Manuel

doi:10.1007/978-3-662-03386-9_5

Cited by 58 publications

(123 citation statements)

References 0 publications

Supporting

Mentioning

119

Contrasting

Order By: Relevance

“…However a lot of progress has been made in the area of symbolic integration (see e.g. [1]) and many computer algebra systems have an integrated module for symbolic integration. Powerful algorithms have been developed which compute the indefinite integral of an elementary function in case it exists or prove that there is no elementary primitive.…”

Section: Indefinite Integralsmentioning

confidence: 99%

See 1 more Smart Citation

Interactive Learning and Mathematical Calculus

Cohen

Cuypers

Jibetean

et al. 2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.A variety of problems in mathematical calculus can be solved by recursively applying a finite number of rules. Often, a generic solving strategy can be extracted and an interactive exercise system that emulates a tutor can be implemented.In this paper we show how software developed by us can be used to realize this interactivity. In particular, an implementation of a generic exercise for computing the derivative of elementary functions is presented.

show abstract

Section: Indefinite Integralsmentioning

confidence: 99%

“…There are several differences between our problem, which is teaching rules for computing integrals and the problem of computing integrals using state-of-theart algorithms for symbolic integration described for example in [1]. We know the answer and want to deduce the steps that were taken in order to solve the problem.…”

Section: Indefinite Integralsmentioning

confidence: 99%

Interactive Learning and Mathematical Calculus

Cohen

Cuypers

Jibetean

et al. 2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…The problem of computing the transcendental part of the primitive was finally solved by Lazard and Rioboo [12], Rothstein [17] and Trager [18]. For detailed descriptions and proofs of these algorithms the reader is referred to [5] and [6].…”

Section: Introductionmentioning

confidence: 99%

Landen transformations and the integration of rational functions

Boros

Moll

2001

Math. Comp.

View full text Add to dashboard Cite

show abstract

“…For an extensive list of literature and generalizations/refinements, like e.g. [50], we refer to [12].…”

mentioning

confidence: 99%

“…(t e ), D) of (F, D) in which we have g with (2); in particular, if such an extension exists, it computes such w, f i and c i as given in Theorem 1. For a detailed description of this algorithm see [12].…”

mentioning

confidence: 99%