Cover Image

A Formalization of the Ionescu-Tulcea Theorem in Mathlib

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Marion, Etienne
Format:	Preprint
Published:	2025
Subjects:	Probability Digital Libraries
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Markov kernels in Mathlib's probability library
by: Degenne, Rémy
Published: (2025)

MetaInfoSci: An Integrated Web Tool for Scholarly Data Analysis
by: Sharmaa, Kiran, et al.
Published: (2025)

Breakthrough Asymmetries across Disciplines and Countries: A Network approach to Structural Complexity of Scientific Progress
by: Raghuvanshi, Adarsh, et al.
Published: (2025)

Dissecting the gender divide: Authorship and acknowledgment in scientific publications
by: Kusumegi, Keigo, et al.
Published: (2025)

Deferred Acceptance Algorithm Improves Peer Review Process
by: Bartneck, Christoph, et al.
Published: (2026)

A Repository for Formal Contexts
by: Hanika, Tom, et al.
Published: (2024)

Geographical and Disciplinary Coverage of Open Access Journals: OpenAlex, Scopus and WoS
by: Maddi, Abdelghani, et al.
Published: (2024)

Lost Data in Electron Microscopy
by: Ivanova, Nina M., et al.
Published: (2025)

Reference Coverage Analysis of OpenAlex compared to Web of Science and Scopus
by: Culbert, Jack, et al.
Published: (2024)

NFDIcore 2.0: A BFO-Compliant Ontology for Multi-Domain Research Infrastructures
by: Bruns, Oleksandra, et al.
Published: (2024)

Quantifying the Benefit of Artificial Intelligence for Scientific Research
by: Gao, Jian, et al.
Published: (2023)

Implicit reporting standards in bibliometric research: what can reviewers' comments tell us about reporting completeness?
by: Stephen, Dimity, et al.
Published: (2025)

A half-century of global collaboration in science and the 'Shrinking World'
by: Okamura, Keisuke
Published: (2022)

Evolving interdisciplinary contributions to global societal challenges: A 50-year overview
by: Okamura, Keisuke
Published: (2024)

Evaluating authorship disambiguation quality through anomaly analysis on researchers' career transition
by: Zhou, Huaxia, et al.
Published: (2024)

Logarithmic scaling and stochastic criticality in collective attention
by: Okamura, Keisuke
Published: (2026)

Formalization of Brownian motion in Lean
by: Degenne, Rémy, et al.
Published: (2025)

A clinical trial engineering firm
by: Wjst, Matthias
Published: (2026)

A Workflow for GLAM Metadata Crosswalk
by: Moretti, Arianna, et al.
Published: (2024)

A survey on proximity monitoring and warning in construction
by: Ding, Yuexiong, et al.
Published: (2025)

A maturity model for catalogues of semantic artefacts
by: Corcho, Oscar, et al.
Published: (2023)

Men and Women Survivors in Science: A Comprehensive Analysis
by: Kwiek, Marek, et al.
Published: (2025)

A Use Case Lens on Digital Cultural Heritage
by: Candela, Gustavo, et al.
Published: (2025)

A Template-Driven Platform for Contextualised Researcher Profiles
by: Chatzopoulos, Serafeim, et al.
Published: (2026)

A New Scientific Indexing Model: U-Index
by: Saglam, Ugur, et al.
Published: (2023)

Aletheia-Probe: A Tool for Automated Journal Assessment
by: Florath, Andreas
Published: (2026)

Sustainable Development Goals in Psychology: A Century of Progress in Publications
by: Zhao, Xinyi, et al.
Published: (2025)

A national study of postdoctoral research fellows in South Africa
by: Prozesky, Heidi, et al.
Published: (2025)

Preserving Culinary Traditions. A Crowdsourced Digital Collection of Cookbooks
by: Renda, Giulia, et al.
Published: (2025)

Research Data in Scientific Publications: A Cross-Field Analysis
by: Yang, Puyu, et al.
Published: (2025)

A citation index bridging Hirsch's h and Egghe's g
by: Nuermaimaiti, Ruheyan, et al.
Published: (2025)

pyKCN: A Python Tool for Bridging Scientific Knowledge
by: Lu, Zhenyuan, et al.
Published: (2024)

A Decision Tree to Shepherd Scientists through Data Retrievability
by: Bianchi, Andrea, et al.
Published: (2023)

A Capability Maturity Model for Urban Dataset Meta-data
by: Fox, Mark S., et al.
Published: (2024)

A Knowledge Graph Approach for Exploratory Search in Research Institutions
by: Schopf, Tim, et al.
Published: (2023)

Application of Module to Coding Theory: A Systematic Literature Review
by: Faldiyan, Muhammad, et al.
Published: (2024)

National Academic Depository: A Step Towards Digital India Vision
by: Gupta, Satinder Bal, et al.
Published: (2025)

A Global South Strategy for Evaluating Research Value with ChatGPT
by: Nunkoo, Robin, et al.
Published: (2025)

A Quantitative Approach to Estimating Bias, Favouritism and Distortion in Scientific Journalism
by: Koushik, Raghavendra, et al.
Published: (2025)

A smack of all neighbouring languages: How multilingual is scholarly communication?
by: Pradier, Carolina, et al.
Published: (2025)