Cover Image

Growing Mathlib: maintenance of a large scale mathematical library

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baanen, Anne, Ballard, Matthew Robert, Commelin, Johan, Chen, Bryan Gin-ge, Rothgang, Michael, Testa, Damiano
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Mathematical Software History and Overview
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
by: Fang, Ying, et al.
Published: (2024)

Shaping the Future of Mathematics in the Age of AI
by: Commelin, Johan, et al.
Published: (2026)

Is mathematics like a game?
by: Landsman, Klaas, et al.
Published: (2023)

The meaning of doing mathematics
by: Schwer, Petra
Published: (2025)

Strategy flexibility in university mathematics
by: Hästö, Peter, et al.
Published: (2023)

The mathematical work of Anania Shirakatsi
by: Aslanyan, Vahagn
Published: (2024)

In Memory of Sergey K. Godunov -- Personal Recollections
by: Ruggeri, Tommaso
Published: (2025)

Pierre Cartier: A Visionary Mathematician
by: Connes, Alain, et al.
Published: (2024)

A Course of Algebra (PART I)
by: Frasser, Carlos E.
Published: (2024)

A short course on Tensor algebra and analysis, with applications to differential geometry
by: Vannucci, Paolo
Published: (2021)

Discrete time scattering and Wold's decomposition in pictures
by: Firdaus, Rafi Rizqy, et al.
Published: (2024)

Mikio Sato, a visionary of mathematics
by: Schapira, Pierre
Published: (2024)

Reflecting on beauty: the aesthetics of mathematical discovery
by: Jevtić, Filip D., et al.
Published: (2024)

Empirical mathematics in Australian Indigenous Smoke Telegraphy
by: Ball, Rowena
Published: (2026)

Some mathematical and geometrical interpretations of the Sator Square
by: Caiza, Paul Dario Toasa
Published: (2024)

The simplicity of complexity: a story of mathematical outreach
by: Parlier, Hugo, et al.
Published: (2025)

Exploring collaboration: The effect of gender on mathematics learning preferences
by: Kim, Sang Hyun, et al.
Published: (2025)

Princ-wiki-a Mathematica: Wikipedia editing and mathematics
by: Eppstein, David, et al.
Published: (2024)

Simone Weil, Andr{é} Weil, Bourbaki and Pythagorean mathematics
by: Papadopoulos, Athanase
Published: (2026)

Making mathematical claims
by: Lai, Yvonne
Published: (2025)

The mathematics of periodic anthyphairesis as a basis for the full understanding of Plato's philosophy
by: Negrepontis, Stelios, et al.
Published: (2025)

Gender and assessment in mathematics: a comparative study of managing assessment episodes
by: Brismontier, Chloé
Published: (2026)

A source list to support DEI/EDI work in mathematical sciences
by: Kent, Deborah, et al.
Published: (2024)

Student explanation in middle and secondary mathematics and statistics: A scoping literature review
by: Gao, Huixin, et al.
Published: (2025)

Coreo-Graph: un progetto di teoria dei grafi e danza
by: Calogera, Teresa, et al.
Published: (2024)

Buffon-Laplace Needle Problem as a geometric probabilistic approach to filtration process
by: Min, Yan-Jie, et al.
Published: (2024)

English Translation of "Über Graphen und ihre Anwendung auf Determinantentheorie und Mengenlehre" by Dénes Kőnig
by: Cseh, Ágnes
Published: (2024)

Who cares about mathematics education?
by: Lai, Yvonne
Published: (2025)

A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)

On Physical Mathematics: an approach through Gilles Châtelet's philosophy
by: Morales, John Alexander Cruz
Published: (2025)

An historical overview of the influence of technology on mathematical competitions
by: Bajnok, Bela
Published: (2024)

A dual concept of the angle in mathematics and practice
by: Karshenboim, Savely G.
Published: (2024)

Theodorus mathematical Lesson (Theaetetus, 147c7-d6) I What are Theodorus' drawings? II Theodorus' demonstrations of irrationality
by: Ofman, Salomon
Published: (2024)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)

Exploring the relation between mathematical values and achievement among girls: A comparative analysis in single-sex vs. coeducational settings using TIMSS 2019 NZ data
by: Gao, Huayu, et al.
Published: (2025)

On the mechanical creation of mathematical concepts
by: G, Asvin
Published: (2025)

The role of the mathematical sciences in supporting the COVID-19 response in Australia and New Zealand
by: McCaw, James M., et al.
Published: (2023)

The Lagrange-D'Alembert Principle from the Viewpoint of ODE
by: Zubelevich, Oleg
Published: (2021)

Exercises on the Kepler ellipses through a fixed point in space, after Otto Laporte
by: Heckman, Gert
Published: (2025)

Calculus and applications
by: Banica, Teo
Published: (2024)