Edmonds, Chelsea; Paulson, Lawrence C. Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma. arXiv:2310.00513 Preprint, arXiv:2310.00513 [cs.LO] (2023). MSC: 05D05 68V20 68V15 68V35 03B35 05C65 05C15 60C05 BibTeX Cite \textit{C. Edmonds} and \textit{L. C. Paulson}, ``Formal Probabilistic Methods for Combinatorial Structures using the Lov\'asz Local Lemma'', Preprint, arXiv:2310.00513 [cs.LO] (2023) Full Text: DOI arXiv OA License
Lochbihler, Andreas A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory. (English) Zbl 1512.05165 J. Autom. Reasoning 66, No. 4, 585-610 (2022). MSC: 05C21 05C63 60E05 68V20 PDFBibTeX XMLCite \textit{A. Lochbihler}, J. Autom. Reasoning 66, No. 4, 585--610 (2022; Zbl 1512.05165) Full Text: DOI
Jaeger, Peter Introduction to stopping time in stochastic finance theory. II. (English) Zbl 1401.60071 Formaliz. Math. 25, No. 4, 261-268 (2017). MSC: 60G40 91G80 03B35 PDFBibTeX XMLCite \textit{P. Jaeger}, Formaliz. Math. 25, No. 4, 261--268 (2017; Zbl 1401.60071) Full Text: DOI
Jaeger, Peter Introduction to stopping time in stochastic finance theory. (English) Zbl 1377.60055 Formaliz. Math. 25, No. 2, 101-105 (2017). MSC: 60G40 91G80 03B35 PDFBibTeX XMLCite \textit{P. Jaeger}, Formaliz. Math. 25, No. 2, 101--105 (2017; Zbl 1377.60055) Full Text: DOI
Jaeger, Peter Modelling real world using stochastic processes and filtration. (English) Zbl 1343.60036 Formaliz. Math. 24, No. 1, 1-16 (2016). MSC: 60G05 91G10 03B35 PDFBibTeX XMLCite \textit{P. Jaeger}, Formaliz. Math. 24, No. 1, 1--16 (2016; Zbl 1343.60036) Full Text: DOI
Rosen, Ricky A \(k\)-provers parallel repetition theorem for a version of no-signaling model. (English) Zbl 1217.68106 Discrete Math. Algorithms Appl. 2, No. 4, 457-468 (2010). MSC: 68Q17 03F20 60C99 91A20 91A28 PDFBibTeX XMLCite \textit{R. Rosen}, Discrete Math. Algorithms Appl. 2, No. 4, 457--468 (2010; Zbl 1217.68106) Full Text: DOI
Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara Simplification rules for the coherent probability assessment problem. (English) Zbl 1006.68128 Ann. Math. Artif. Intell. 35, No. 1-4, 11-28 (2002). Reviewer: Romano Scozzafava (Roma) MSC: 68T15 60A99 03B35 PDFBibTeX XMLCite \textit{M. Baioletti} et al., Ann. Math. Artif. Intell. 35, No. 1--4, 11--28 (2002; Zbl 1006.68128) Full Text: DOI
Khaoulani, B. A vectorial Slepian type inequality. Applications. (English) Zbl 0806.46015 Proc. Am. Math. Soc. 118, No. 1, 95-102 (1993). MSC: 46B09 60G15 PDFBibTeX XMLCite \textit{B. Khaoulani}, Proc. Am. Math. Soc. 118, No. 1, 95--102 (1993; Zbl 0806.46015) Full Text: DOI
Akhmedov, A. B. Structure of the spectrum and ergodicity of some non-stationary queueing systems. (Russian) Zbl 0659.90045 Izv. Akad. Nauk UzSSR, Ser. Fiz.-Mat. Nauk 1986, No. 4, 8-12 (1986). Reviewer: T.Ocneanu MSC: 90B22 60K25 PDFBibTeX XMLCite \textit{A. B. Akhmedov}, Izv. Akad. Nauk UzSSR, Ser. Fiz.-Mat. Nauk 1986, No. 4, 8--12 (1986; Zbl 0659.90045)
Sucheston, Louis On one-parameter proofs of multiparameter convergence theorems. (English) Zbl 0489.46021 Z. Wahrscheinlichkeitstheor. Verw. Geb. (to appear). MSC: 46E30 47A35 60G46 PDFBibTeX XML
Yor, Marc Fonctions et processus de Bessel. (French) Zbl 0419.60031 C. R. Acad. Sci., Paris, Sér. A 289, 817-819 (1979). MSC: 60G07 33C10 PDFBibTeX XMLCite \textit{M. Yor}, C. R. Acad. Sci., Paris, Sér. A 289, 817--819 (1979; Zbl 0419.60031)
Srinivasan, R. On some results of Takacs in ballot problems. (English) Zbl 0413.60006 Discrete Math. 28, 213-218 (1979). MSC: 60C05 60K25 PDFBibTeX XMLCite \textit{R. Srinivasan}, Discrete Math. 28, 213--218 (1979; Zbl 0413.60006) Full Text: DOI