| CARVIEW |
Select Language
HTTP/2 200
content-type: application/pdf
etag: CJqb1Mr1kJADEAI=
last-modified: Tue, 07 Oct 2025 01:18:44 GMT
access-control-allow-origin: *
content-disposition: inline; filename="2510.04070v1.pdf"
link: ; rel='canonical'
x-cloud-trace-context: 3aa1445e932c9536dbccbe4fe3b26e07
server: Google Frontend
via: 1.1 google, 1.1 varnish, 1.1 varnish
accept-ranges: bytes
age: 305352
date: Wed, 31 Dec 2025 23:17:37 GMT
x-served-by: cache-lga21964-LGA, cache-bom-vanm7210094-BOM
x-cache: HIT, HIT
x-timer: S1767223057.104540,VS0,VE195
content-length: 271673
%PDF-1.7
%????
1 0 obj
<< /Metadata 3 0 R /Names 4 0 R /OpenAction 5 0 R /Outlines 6 0 R /PageMode /UseOutlines /Pages 7 0 R /Type /Catalog >>
endobj
2 0 obj
<< /Author (R?my Degenne) /Creator (arXiv GenPDF \(tex2pdf:\)) /DOI (https://doi.org/10.48550/arXiv.2510.04070) /License (https://creativecommons.org/licenses/by/4.0/) /PTEX.Fullbanner (This is pdfTeX, Version 3.141592653-2.6-1.40.28 \(TeX Live 2025\) kpathsea version 6.4.1) /Producer (pikepdf 8.15.1) /Title (Markov kernels in Mathlib's probability library) /Trapped /False /arXivID (https://arxiv.org/abs/2510.04070v1) >>
endobj
3 0 obj
<< /Subtype /XML /Type /Metadata /Length 1564 >>
stream
Markov kernels in Mathlib's probability library Rémy Degenne https://creativecommons.org/licenses/by/4.0/ cs.DL math.PR
endstream
endobj
4 0 obj
<< /Dests 8 0 R >>
endobj
5 0 obj
<< /D [ 9 0 R /Fit ] /S /GoTo >>
endobj
6 0 obj
<< /Count 7 /First 10 0 R /Last 11 0 R /Type /Outlines >>
endobj
7 0 obj
<< /Count 28 /Kids [ 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R ] /Type /Pages >>
endobj
8 0 obj
<< /Kids [ 17 0 R 18 0 R 19 0 R 20 0 R ] /Limits [ (Doc-Start) (subsection.3.3) ] >>
endobj
9 0 obj
<< /Annots [ 21 0 R 22 0 R ] /Contents [ 23 0 R 24 0 R 25 0 R 26 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 12 0 R /Resources 27 0 R /Type /Page >>
endobj
10 0 obj
<< /A 28 0 R /Next 29 0 R /Parent 6 0 R /Title 30 0 R >>
endobj
11 0 obj
<< /A 31 0 R /Parent 6 0 R /Prev 32 0 R /Title 33 0 R >>
endobj
12 0 obj
<< /Count 6 /Kids [ 9 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R ] /Parent 7 0 R /Type /Pages >>
endobj
13 0 obj
<< /Count 6 /Kids [ 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R ] /Parent 7 0 R /Type /Pages >>
endobj
14 0 obj
<< /Count 6 /Kids [ 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R ] /Parent 7 0 R /Type /Pages >>
endobj
15 0 obj
<< /Count 6 /Kids [ 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R ] /Parent 7 0 R /Type /Pages >>
endobj
16 0 obj
<< /Count 4 /Kids [ 57 0 R 58 0 R 59 0 R 60 0 R ] /Parent 7 0 R /Type /Pages >>
endobj
17 0 obj
<< /Kids [ 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R ] /Limits [ (Doc-Start) (lstlisting.-10) ] >>
endobj
18 0 obj
<< /Kids [ 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R ] /Limits [ (lstlisting.-2) (lstnumber.-8.4) ] >>
endobj
19 0 obj
<< /Kids [ 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R ] /Limits [ (lstnumber.-8.5) (section*.12) ] >>
endobj
20 0 obj
<< /Kids [ 79 0 R 80 0 R 81 0 R 82 0 R ] /Limits [ (section*.2) (subsection.3.3) ] >>
endobj
21 0 obj
<< /A << /S /URI /Type /Action /URI (mailto:remy.degenne@inria.fr) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 104.737 92.986 213.028 103.037 ] /Subtype /Link /Type /Annot >>
endobj
22 0 obj
<< /A << /S /URI /URI (https://arxiv.org/abs/2510.04070v1) >> /BS << /W 0 >> /NM (fitz-L0) /Rect [ 12 227.69 32 564.31 ] /Subtype /Link >>
endobj
23 0 obj
<< /Length 10 /Filter /FlateDecode >>
stream
x?+? ? |
endstream
endobj
24 0 obj
<< /Filter /FlateDecode /Length 1179 >>
stream
xڝVMs?6??W?Vi&VI???=u?6;??t??wz?h?c}??7?? ʑ???^???0%[BɇeB%gY
?d??4%vK??ZL???y9????$/xJ?"??2A
!???eE?/V?i?????????ٟ3ߤ???L(g??A
?nf?)?`??p)??;6???d????~?$??? ??xž8?YƓ??sA?$?&z?l?.N˨{???ж?u?Ӣ?S?cmV???v+?2??9??3Z???CS_????# c /=?,IiJ?Y?p?!?E?d?-?Y????~?[ݶ:? ??ҷ?&R???? M?3?}?h???W?`?zH.a ?TB ??0?J-??1?T?aY???J[??6h???խV?+??h`GÏY?-X??ey??=?
??z??%?d????H??>?C83?='??;?i?w??$??)????????^???j??Q?[3??E?j+?d?{m?N6\L??f?O????K?0?o:ۨ???§(?@?#@I???pI??N?`??????)k?zɚ????E?%ԯz?H?4/??Ag??B????k+_,?]?҄.?? ?????z?-%?ԟ?5jU??z4uVag??????kr? ?"곯CE??t