Alena Gusakov, Peter Nelson, Stephen M. Watt. Structuring Definitions in Mathematical Libraries. In 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025. pages 98-105, IEEE, 2025. [doi]
Abstract is missing.