Showing cs.SCShow all
2 papers · 1 filter
cs.SC2025
Structuring Definitions in Mathematical Libraries
Alena Gusakov, Peter Nelson, Stephen Watt
Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definiti…
cs.SC2024
Algorithms for Recursive Block Matrices
Stephen M. Watt
We study certain linear algebra algorithms for recursive block matrices. This representation has useful practical and theoretical properties. We summarize some previous results for…