How to Compute Antiderivatives

DOI10.2307/421157MaRDI QIDQ4858804zbMATH OpenOpenAlexFDO

Authors Chris Freiling

Publication date 9 May 1996

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/54bc975a95ba6a837b6c3104f647c45d150e68ba, http://www.math.ucla.edu/~asl/bsl/0103-toc.htm

zbMATH Keywords

complexityantiderivativesKleene-type algorithmstotalization process

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of computation (including implicit computational complexity) (03D15) Denjoy and Perron integrals, other special integrals (26A39) Antidifferentiation (26A36)

Recommendations

• The if-problem in automatic differentiation
• scientific article; zbMATH DE number 1574476
• The Arithmetic of Differentiation
• scientific article; zbMATH DE number 4091783
• On the problem of characterizing derivatives
• The complexity of antidifferentiation
• scientific article; zbMATH DE number 840928
• scientific article; zbMATH DE number 852360
• An algorithm for exact evaluation of multivariate functions and their derivatives to any order
• scientific article; zbMATH DE number 969495

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3327454 (Why is no real title available?)
• A new proof of the theorem on exponential diophantine representation of enumerable sets
• A programming language for the inductive sets, and applications
• Cores of Π₁¹ sets of reals
• Descriptive set theory
• Differentiation of Real Functions
• Inductive definability: Measure and category
• The complexity of antidifferentiation

Cited in

(1)

• scientific article; zbMATH DE number 4091783 (Why is no real title available?)

This page was built for publication: How to Compute Antiderivatives

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