“…They are used both as an aid for musical analysis, and to investigate some aspects of samples of compositions (Mazzola, 2007;Mazzola, 2002). In particular, these methods have been applied to analyse: musical theory in a geometrical way (M. et al, 2006); gesture in music (Mazzola & Andreatta, 2007;Mannone, 2018a;Arias, 2018); counterpoint; interpretation; harmony (Mazzola, 2002); common patterns in sound amplitude (Mendes et al, 2011); chord-sequences and voice-leading in the light of topology (Tymoczko, 2006;Tymoczko, 2020); and symmetries between chords in lattices called Tonnetze (Amiot, 2017;Jedrzejewski, 2019b). Formal tools also include using the abstract power of category theory in order to formalise musical structures, including relationships within music theory and between music theory and musical performance (Popoff et al, 2019;Mannone, 2018b;Mazzola, 2002;Mannone, 2018a;Arias, 2018;Jedrzejewski, 2019a).…”