Automated generation of contrapuntal musical compositions using probabilistic logic in Derive

Mathematics and Computers in Simulation

Volumn 80, Issue 6, 2010, Pages 1200-1211

  Aguilera, Gabriel ^a   Luis Galán, José ^a   Madrid, Rafael ^a   Martínez, Antonio Manuel ^a   Padilla, Yolanda ^a   Rodríguez, Pedro ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Automated compositions; CAS; Contrapuntal musical compositions; Probabilistic logic

Indexed keywords

AUTOMATED COMPOSITION; AUTOMATED GENERATION; CAS; INTER-COMMUNICATION; MUSICAL COMPOSITION; NEW APPLICATIONS; PROBABILISTIC ALGORITHM; PROBABILISTIC RULES;

AUTOMATION; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE;

PROBABILISTIC LOGICS;

EID: 77649340090     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2009.04.012     Document Type: Article

References (21)

1. Aguilera G. Rewriting in a probabilistic logic with imprecise probabilities. Proceedings of Applications of Logic and Mathematics to Programming. Alicante (2003)
2. Aguilera G., Cielos C., Galán J.L., Galán M.A., Gálvez A., Jiménez A.J., Padilla Y., and Rodríguez P. A basic course of multiple integrals with a computer algebra system. Proceedings of the 3rd International Conference on the Teaching of Mathematics an the Undergraduate Level. Istanbul (2006)
3. G. Aguilera, J.L. Galán, A. Gálvez, P. Rodríguez, ATPCL.mth: automated theorem provers for propositional classical logic with Derive, in: Proceedings of TIME 2004, Montreal, 2004, I.S.B.N.: 3-901769-59-5.
4. G. Aguilera, J.L. Galán, Y. Padilla, P. Rodríguez, Random_distributions.mth: random samples from distributions with Derive, in: Proceedings of TIME 2004, Montreal, 2004, I.S.B.N.: 3-901769-59-5.
5. G. Aguilera, J.L. Galán, P. Rodríguez, GRAPH ALGORITHMS.MTH: graph algorithms using display step in Derive6, in: Proceedings of DES-TIME-2006, Dresden, 2006, I.S.B.N.: 3-901769-74-9.
6. C. Cielos, J.L. Galán, M.A. Galán, A. Gálvez, A.J. Jiménez, Y. Padilla, P. Rodríguez, Line integrals with computer algebra systems, in: Proceedings of the 5th International Conference APLIMAT, Bratislava, 2006, I.S.B.N. 80-967305-6-8.
7. Farbood M., and Schoner B. Analysis and synthesis of palestrina-style counterpoint using markov chains. Proceedings of International Computer Music Conference. Havana (2001)
8. J.J. Fux, Study of Counterpoint, in: Alfred Mann (Ed.), W.W. Norton & Company, 1990.
9. J.L. Galán, The role of computer algebra systems in mathematics teaching for engineering degrees, in: Plenary Lecture of the 5th International Conference APLIMAT, Bratislava, 2006, I.S.B.N. 80-967305-6-8.
10. J.L. Galán, M.A. Galán, Y. Padilla, P. Rodríguez, RESIDUES.MTH: solving problems of integration using the residue theorem, in: Proceedings of TIME 2004, Montreal, 2004, I.S.B.N.: 3-901769-59-5.
11. Gardner M. The Colossal Book of Mathematics (2001), W.W. Norton & Company
12. I. Girton, An Introduction to Species Counterpoint, http://www.listeningarts.com/music/general_theory/species/menu.htm, 2003.
13. S.A. Hedges, Dice Music in the Eighteenth Century, Music and Letters, vol. 59, Number 2, 1978.
14. Hiller L., and Isaacson L. Musical composition with a high-speed digital computer. Journal of the Audio Engineering Society (1958)
15. Hofstadter D.R. Godel, Escher, Bach: An Eternal Golden Braid (2000), Penguin Books
16. R. Klingerf, G. Rudolph, Automatic Composition of Music with Methods of Computational Intelligence, WSEAS Transactions on Information Science and Applications, 2007.
17. Laitz S.G. The Complete Musician An Integrated Approach to Tonal Theory, Analysis, and Listening (2007), Oxford University Press
18. Miranda E. Composing Music with Computers (2001), Focal Press
19. Z. Ruttkay, Composing Mozart Variations with Dice, Teaching Statistics, vol. 19, Number 1, 1997.
20. Straus J.N. Introduction to post-tonal theory (2004), Prentice Hall
21. Wikipedia Counterpoint, First Species http://en.wikipedia.org/wiki/Counterpoint#First_species.