Page 1

Displaying 1 – 1 of 1

Showing per page

Modelling Real World Using Stochastic Processes and Filtration

Peter Jaeger (2016)

Formalized Mathematics

First we give an implementation in Mizar [2] basic important definitions of stochastic finance, i.e. filtration ([9], pp. 183 and 185), adapted stochastic process ([9], p. 185) and predictable stochastic process ([6], p. 224). Second we give some concrete formalization and verification to real world examples. In article [8] we started to define random variables for a similar presentation to the book [6]. Here we continue this study. Next we define the stochastic process. For further definitions...

Currently displaying 1 – 1 of 1

Page 1