How to Compute Antiderivatives

DOI10.2307/421157zbMATH Open0838.26007OpenAlexW2066659928MaRDI QIDQ4858804FDOQ4858804

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

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

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)

Cites Work

• Differentiation of Real Functions
• Title not available (Why is that?)
• Descriptive set theory
• A programming language for the inductive sets, and applications
• Title not available (Why is that?)
• The complexity of antidifferentiation
• A new proof of the theorem on exponential diophantine representation of enumerable sets
• Inductive definability: Measure and category
• Cores of Π₁¹ sets of reals

Cited In (1)

• Title not available (Why is that?)

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)