Matthew Robert Ballard

According to our database, Matthew Robert Ballard authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Growing Mathlib: maintenance of a large scale mathematical library.

Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025