On a comparison of Darboux and Riemann integrals in constructive analysis
arXiv:0911.2892
Abstract
An example of constructive (in A.A.Markov's sense) real-valued function, which is integrable by Riemann, but is not integrable by Darboux, is constructed.
7 pages