The Riemann integral in constructive mathematics
HTML articles powered by AMS MathViewer
- by David Spring PDF
- Proc. Amer. Math. Soc. 83 (1981), 839-840 Request permission
Abstract:
A suitable Riemann integral in one variable is developed for use in constructive mathematics.References
- Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221878
- Douglas S. Bridges, Constructive functional analysis, Research Notes in Mathematics, vol. 28, Pitman (Advanced Publishing Program), Boston, Mass.-London, 1979. MR 521982
Additional Information
- © Copyright 1981 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 83 (1981), 839-840
- MSC: Primary 03F65; Secondary 26A42
- DOI: https://doi.org/10.1090/S0002-9939-1981-0630032-8
- MathSciNet review: 630032