Pythagorean tuning: pentatonic and heptatonic scale

DOI10.2478/FORMA-2018-0022MaRDI QIDQ2311533zbMATH OpenOpenAlexWikidataFDO

Authors Roland Coghetto

Publication date 10 July 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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

zbMATH Keywords

heptatonic scalemusicpentatonic scalePythagorean tuning

Mathematics Subject Classification ID

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

Cites work

• Analysis of algorithms: an example of a sort algorithm
• Mizar: state-of-the-art and beyond
• On the Structure of Mizar Types
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(2)

• Spelled Heptachords
• Pseudo-diatonic Scales

Describes a project that uses

Uses Software

• Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2311533)