Pythagorean tuning: pentatonic and heptatonic scale

DOI10.2478/forma-2018-0022zbMath1422.00010OpenAlexW2927297385WikidataQ114041350 ScholiaQ114041350MaRDI QIDQ2311533

Roland Coghetto

Publication date: 10 July 2019

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2018-0022

zbMATH Keywords

musicPythagorean tuningheptatonic scalepentatonic scale

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Mathematics and music (00A65)

Uses Software

• Mizar

Cites Work

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Analysis of Algorithms: An Example of a Sort Algorithm
• Mizar: State-of-the-art and Beyond
• On the Structure of Mizar Types

This page was built for publication: Pythagorean tuning: pentatonic and heptatonic scale