Math, Logic, Audio Links

• College Publications/Computing

• Cornell

  Open access to 626,887 e-prints in Physics, Mathematics, Computer Science, Quantitative Biology, Quantitative Finance and Statistics

• Faust

  FAUST is a compiled language for real-time audio signal processing.

  The name FAUST stands for Functional AUdio STream. Its programming model combines two approaches: functional programming and block diagram composition. You can think of FAUST as a structured block diagram language with a textual syntax.

• MacFarlane, John

Algorithmic Composition

• http://algocomp.blogspot.com/
• http://csoundblog.com/
• http://musicalgorithms.ewu.edu/
• http://oeis.org/classic/play.html
• Blair School of Music, Vanderbilt University

Papers

• CCRMA

  • The History of Algorithmic Composition
  • The Influence of Chaos on Computer-Generated Music
  • Algorithmic Composition Bibliography

• Jacob, Bruce

  • Variations: Algorithmic composition for acoustic instruments
  • Algorithmic composition as a model of creativity

• Gogins, Michael

• Phillips, Dave

  • Linux Journal: CsoundAC

• Cascone, Kim

  • Recontextualizing Ambient Music in Csound

Math

• Euclid’s Theorem
• Harmonic Series
• Logarithmic spiral LS1 LS2
• Prime Number Theorem
• MIT OpenCourseWare/Mathematics
• Technical Mathematics I
• Trigonometry
• Wikibooks

Calculus

• http://www.calculus.org/

• http://mathworld.wolfram.com/Calculus.html

• COW

  COW is an internet utility for learning and practicing calculus. It was designed at Temple by two members of the Temple University Mathematics Department, Gerardo Mendoza and Dan Reich.

  http://cow.temple.edu/~cow/cgi-bin/tourguide

• Single Variable Calculus

  • http://ocw.mit.edu/courses/mathematics/18-01-single-variable-calculus-fall-2006/

Collatz, Lothar

• http://en.wikipedia.org/wiki/Lothar_Collatz
• http://en.wikipedia.org/wiki/Collatz_conjecture

Euler, Leonhard

• http://en.wikipedia.org/wiki/Leonhard_Euler
• http://en.wikipedia.org/wiki/Proof_that_the_sum_of_the_reciprocals_of_the_primes_diverges

Fibonacci (Leonardo Pisano Bigollo)

• http://en.wikipedia.org/wiki/Fibonacci
• http://en.wikipedia.org/wiki/Fibonacci_number
• Golden ratio
  • http://en.wikipedia.org/wiki/Golden_ratio
  • http://commons.wikimedia.org/wiki/Category:Golden_ratio
  • http://mathworld.wolfram.com/GoldenRatio.html
• http://en.wikipedia.org/wiki/Liber_Abaci

Gauss, Carl Friedrich

• http://en.wikipedia.org/wiki/Carl_Friedrich_Gauss
• http://en.wikipedia.org/wiki/Disquisitiones_Arithmeticae

Integer Sequences

• On-Line Encyclopedia of Integer Sequences (OEIS)
  • http://oeis.org/classic/
  • http://en.wikipedia.org/wiki/On-Line_Encyclopedia_of_Integer_Sequences

  • Fibonacci numbers

    F(n) = F(n-1) + F(n-2), F(0) = 0, F(1) = 1, F(2) = 1, ...

    • http://oeis.org/classic/A000045

  • Golden ratio

    Decimal expansion of golden ratio phi (or tau) = (1 + sqrt 5 )/2.

    • http://oeis.org/classic/A001622

  • Pi

    Decimal expansion of Pi.

    • http://oeis.org/classic/A000796

Haskell

• Good Haskell Style
  • http://urchin.earth.li/~ian/style/haskell.html
• Hudak, Paul
  • http://cs-www.cs.yale.edu/homes/hudak-paul/index.htm
• The Yale Haskell Group
  • http://haskell.org/yale/

Books

• A Gentle Introduction to Haskell Version 98

  • Hudak, Paul; Peterson, John; Fasel, Joseph
  • http://www.haskell.org/tutorial/

• The Haskell Road to Logic, Maths and Programming

  • Doets, Kees; van Eijck, Jan
  • http://homepages.cwi.nl/~jve/HR/

• Learn You a Haskell for Great Good!

  • Lipovaca, Miran
  • http://learnyouahaskell.com/

Prolog

• http://en.wikipedia.org/wiki/Prolog

• SEM242 – Prolog and Logic Programming

  These notes originated from the School of Computer Science in the University of Birmingham, United Kingdom. More precisely, they were written by Peter Hancox mainly in the early hours of the morning at home in the edge of Worcestershire in the English midlands.

  • http://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html

• SWI-Prolog

  SWI-Prolog offers a comprehensive Prolog environment, licensed under the LGPL. Together with its graphics toolkit XPCE, its development started in 1987 and has been driven by the needs for real-world applications. These days SWI-Prolog is widely used in research and education as well as for commercial applications.

  • http://www.swi-prolog.org/

Books

• Learn Prolog Now!

  An introductory course to programming in Prolog.

  • Blackburn, Patrick; Bos, Johan; Striegnitz Kristina
  • http://www.learnprolognow.org/

• Logic, Programming and Prolog (2ed)

  • Nilsson, Ulf; Maluszynski, Jan
  • http://www.ida.liu.se/~ulfni/lpp/