Imagen de Portada

Markov kernels in Mathlib's probability library

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Degenne, Rémy
Formato:	Preprint
Publicado:	2025
Materias:	Digital Libraries Probability
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Formalization of the Ionescu-Tulcea Theorem in Mathlib
por: Marion, Etienne
Publicado: (2025)

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

Shacl4Bib: custom validation of library data
por: Király, Péter
Publicado: (2024)

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

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

Scope and limitations of library metrics for the assessment of ebook usage: COUNTER R5 and link resolver
por: Echeverria, Mercedes, et al.
Publicado: (2025)

pyBiblioNet: a Python library for a comprehensive network-based bibliometric analysis
por: Lai, Mirko, et al.
Publicado: (2026)

The use of social media among library professionals and patrons: A review of literature
por: Agboke, Abimbola, et al.
Publicado: (2025)

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

myAURA: Personalized health library for epilepsy management via knowledge graph sparsification and visualization
por: Correia, Rion Brattig, et al.
Publicado: (2024)

GRIN Transfer: A production-ready tool for libraries to retrieve digital copies from Google Books
por: Daly, Liza, et al.
Publicado: (2025)

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

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

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

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

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

Logarithmic scaling and stochastic criticality in collective attention
por: Okamura, Keisuke
Publicado: (2026)

Building a Media Ecosystem Observatory from Scratch: Infrastructure, Methodology, and Insights
por: Pehlivan, Zeynep, et al.
Publicado: (2025)

Libraries, Digital Libraries, and Data: Forty years, Four Challenges
por: Borgman, Christine L.
Publicado: (2025)

International collaboration of Ukrainian scholars: Effects of Russia's full-scale invasion of Ukraine
por: Hladchenko, Myroslava
Publicado: (2025)

Self-Citations in Academic Excellence: Analysis of the Top 1% Highly Cited India-Affiliated Research Papers
por: Sharma, Kiran, et al.
Publicado: (2025)

La conservazione dei documenti informatici nel contesto sanitario italiano: indagine su stato di attuazione e criticità
por: Guaglianone, M. T., et al.
Publicado: (2025)

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

Do male leading authors retract more articles than female leading authors?
por: Zheng, Er-Te, et al.
Publicado: (2025)

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

Longitudinal Sampling of URLs From the Wayback Machine
por: Garg, Kritika, et al.
Publicado: (2025)

Guidelines for the Enhancement of the Corpus and the Verismo Vocabulary
por: Bassi, Michael, et al.
Publicado: (2025)

Is OpenAlex Suitable for Research Quality Evaluation and Which Citation Indicator is Best?
por: Thelwall, Mike, et al.
Publicado: (2025)

Asymmetric Impact of Basic Scientists during Applied Shift
por: Kaku, Rikuei, et al.
Publicado: (2025)

Archiving and Replaying Current Web Advertisements: Challenges and Opportunities
por: Reid, Travis, et al.
Publicado: (2025)

Identifying and extracting Data Access Statements from full-text academic articles
por: Pride, David, et al.
Publicado: (2025)

Presenting a classifier to detect research contributions in OpenAlex
por: Haupka, Nick
Publicado: (2025)

Estimating the prevalence of LLM-assisted text in scholarly writing
por: Gray, Andrew
Publicado: (2025)

Rxiv-Maker: an automated template engine for streamlined scientific publications
por: Saraiva, Bruno M., et al.
Publicado: (2025)

Revisiting the field normalization approaches/practices
por: Lu, Xinyue, et al.
Publicado: (2025)

How Visa-Free Policies Fuel International Research Collaboration: Evidence from China
por: Cai, Songlin, et al.
Publicado: (2025)

Citation importance-aware document representation learning for large-scale science mapping
por: Liang, Zhentao, et al.
Publicado: (2025)

Influential scientists shape knowledge flows between science and IGO policy
por: Asatani, Kimitaka, et al.
Publicado: (2025)

Dynamic disruption index across citation and cited references windows: Recommendations for thresholds in research evaluation
por: Chen, Hongkan, et al.
Publicado: (2025)

Are there stars in Bluesky after the return of Donald Trump to the White House?
por: Arroyo-Machado, Wenceslao, et al.
Publicado: (2025)