Structuring Definitions in Mathematical Libraries

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

Abstract is missing.