Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
Line 29: Line 29:
 
=== Geometry ===
 
=== Geometry ===
 
* [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings]
 
* [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings]
  +
* [http://www.kennknowles.com/blog/2007/11/20/visualizing-2d-convex-hull-using-gtk-and-opengl-in-haskell/ Visualizing 2D convex hull using Gtk and OpenGL in Haskell]
  +
* [http://www.kennknowles.com/blog/2007/12/03/calculating-the-reflect-rotate-translate-normal-form-for-an-isometry-of-the-plane-in-haskell-and-verifying-it-with-quickcheck/ Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.]
   
 
=== Group theory ===
 
=== Group theory ===

Revision as of 17:14, 3 December 2007

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