×

Found 822 Documents (Results 1–100)

A Coq formalization of Lebesgue induction principle and Tonelli’s theorem. (English) Zbl 1529.68315

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 39-55 (2023).
PDFBibTeX XMLCite
Full Text: DOI HAL

Anti-Fubini and pseudo-Fubini functions. (English) Zbl 1482.46023

MSC:  46B87 28A35 46E30
PDFBibTeX XMLCite
Full Text: DOI

A characterization of equivalent martingale probability measures in a mixed renewal risk model with applications in Risk Theory. arXiv:2007.09051

Preprint, arXiv:2007.09051 [math.PR] (2020).
BibTeX Cite
Full Text: arXiv

WITHDRAWN: Marginals, measurable modifications of stochastic processes, and the product lifting problem. arXiv:1707.02807

Preprint, arXiv:1707.02807 [math.PR] (2017); retraction notice ibid.
BibTeX Cite
Full Text: arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software