Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
m (Quantum computing: rm 404)
m (Undo revision 44220 by Rstephan (Talk); new URL scheme, no 404, actually. hmpf)
 
Line 28: Line 28:
   
 
=== Geometry ===
 
=== Geometry ===
  +
* [http://www.alpheccar.org/content/57.html 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/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.]
 
* [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.]
 
* [http://www.kennknowles.com/blog/2008/04/16/drawing-fractals-in-haskell-with-a-cursor-graphics-dsel-and-a-cute-list-representation/ Drawing fractals in Haskell with a cursor graphics DSEL and a cute list representation]
 
* [http://www.kennknowles.com/blog/2008/04/16/drawing-fractals-in-haskell-with-a-cursor-graphics-dsel-and-a-cute-list-representation/ Drawing fractals in Haskell with a cursor graphics DSEL and a cute list representation]
+
 
=== Group theory ===
 
=== Group theory ===
   

Latest revision as of 15:22, 26 January 2012

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

For further references see the:

Contents

[edit] 1 Haskell for mathematics

[edit] 1.1 General

[edit] 1.2 Calculus and Differential Geometry

[edit] 1.3 Algebraic Topology and Geometry

[edit] 1.4 Geometry

[edit] 1.5 Group theory

[edit] 1.6 Set theory

[edit] 1.7 Ring theory

[edit] 1.8 Number theory

[edit] 1.9 Cryptography and coding theory

[edit] 1.10 Logic

[edit] 1.11 Numerics

[edit] 2 Theorem proving

[edit] 3 Quantum computing

[edit] 4 Mathematics of Haskell

[edit] 4.1 Category theoretic

[edit] 4.2 Lambda and combinator calculi

[edit] 4.3 Other formal logics

[edit] 4.4 Miscellaneous