An undecidable property of definite integrals

DOI10.1090/S0002-9939-97-03822-7MaRDI QIDQ4339197zbMATH OpenFDO

Authors Daniel T. Stallworth, Fred Roush

Publication date 5 June 1997

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9939-97-03822-7

zbMATH Keywords

contour multiple integralmeromorphic functionreal analytic manifoldundecidability of definite integrals

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• The Undecidability of the Existence of Zeros of Real Elementary Functions
• Entire functions with undecidable arithmetic properties
• scientific article; zbMATH DE number 1909821
• The removal of \pi from some undecidable problems involving elementary functions

Cites work

• Decision problems for differential equations
• Some Recursively Unsolvable Problems in Analysis
• Some undecidable problems involving elementary functions of a real variable

Cited in

(4)

• Entire functions with undecidable arithmetic properties
• The Undecidability of the Existence of Zeros of Real Elementary Functions
• scientific article; zbMATH DE number 1909821 (Why is no real title available?)
• Remarks on undecidability, incompleteness and the integrability problem

This page was built for publication: An undecidable property of definite integrals

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