Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(fixed broken links)
Line 102: Line 102:
   
 
* Category Theory and the Category of Haskell programs:
 
* Category Theory and the Category of Haskell programs:
** [http://www.alpheccar.org/en/posts/show/74 Part 1]
+
** [http://www.alpheccar.org/content/74.html Part 1]
** [http://www.alpheccar.org/en/posts/show/76 Part 2]
+
** [http://www.alpheccar.org/content/76.html Part 2]
** [http://www.alpheccar.org/en/posts/show/77 Part 3]
+
** [http://www.alpheccar.org/content/77.html Part 3]
   
 
* [http://en.wikibooks.org/wiki/Haskell/Category_theory Category theory and Haskell]
 
* [http://en.wikibooks.org/wiki/Haskell/Category_theory Category theory and Haskell]

Revision as of 23:34, 11 October 2011

Articles using Haskell for mathematics, and the mathematics of Haskell.

For further references see the:

Contents

1 Haskell for mathematics

1.1 General

1.2 Calculus and Differential Geometry

1.3 Algebraic Topology and Geometry

1.4 Geometry

1.5 Group theory

1.6 Set theory

1.7 Ring theory

1.8 Number theory

1.9 Cryptography and coding theory

1.10 Logic

1.11 Numerics

2 Theorem proving

3 Quantum computing

4 Mathematics of Haskell

4.1 Category theoretic

4.2 Lambda and combinator calculi

4.3 Other formal logics

4.4 Miscellaneous