| Home |
| About |
| Submission Guidelines |
| Search |
| Download |
project summary
Integration theory and random variables
| Title: | Integration theory and random variables |
| Author: | Stefan Richter |
| Submission date: | 2004-11-19 |
| Abstract: | Lebesgue-style integration plays a major role in advanced probability. We formalize concepts of elementary measure theory, real-valued random variables as Borel-measurable functions, and a stepwise inductive definition of the integral itself. All proofs are carried out in human readable style using the Isar language. |
|
Proof outline Proof document |
| Browse theories |
| Download this entry |
Older releases:
|