4 citations found. Retrieving documents...
R. Henstock.
The general theory of integration
. The Clarendon Press Oxford University Press, New York, 1991.
Home/Search
Document Not in Database
Context
Related Articles
Check
This paper is cited by the following papers:
An Approach to the Normalized Invariant Integral on Compact.. - Khalifa El Mabrouk
(Correct)
Reasoning About the Reals: the marriage of HOL and Maple - John Harrison (1993)
(9 citations)
(Correct)
Domains for Computation in Mathematics, Physics and Exact Real.. - Edalat (1997)
(2 citations)
(Correct)
Extending the HOL theorem prover with a Computer Algebra System.. - Harrison (1993)
(19 citations)
(Correct)
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC