2 papers
cs.LO2026
Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4
Leni Aniva, Claire Wang
Music theory obeys a rich set of mathematical rules and symmetries. These symmetries follow mathematical structures which can be verified and expressed in the precise language of a…
cs.MM2026
Composition: Building Community with Arts, Math, and Code (Experience Report)
Isidore Mohr, Claire Wang
Composition (https://composition.codes) is a free event series on art, mathematics, and code. This experience report covers Composition's event structure, artist selection process,…