Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(fixed broken links)
m (Undo revision 44220 by Rstephan (Talk); new URL scheme, no 404, actually. hmpf)
 
(3 intermediate revisions by one user not shown)
Line 11: Line 11:
   
 
* [http://sigfpe.blogspot.com/2006/01/eleven-reasons-to-use-haskell-as.html Eleven Reasons to use Haskell as a Mathematician]
 
* [http://sigfpe.blogspot.com/2006/01/eleven-reasons-to-use-haskell-as.html Eleven Reasons to use Haskell as a Mathematician]
* [http://www.polyomino.f2s.com/ Haskell for Maths]: commutative algebra, combinatorics, number theory, and group theory libraries
+
* [http://www.polyomino.f2s.com/ Haskell for Maths]: commutative algebra, combinatorics, number theory, and group theory libraries ([http://haskellformaths.blogspot.com/ blog], [http://hackage.haskell.org/package/HaskellForMaths hackage])
 
* [http://sigfpe.blogspot.com/2006/09/learn-maths-with-haskell.html Learn Maths with Haskell]
 
* [http://sigfpe.blogspot.com/2006/09/learn-maths-with-haskell.html Learn Maths with Haskell]
 
* [http://blog.mikael.johanssons.org/archive/2006/10/prototyping-thought/ Prototyping thought]
 
* [http://blog.mikael.johanssons.org/archive/2006/10/prototyping-thought/ Prototyping thought]
Line 28: Line 28:
   
 
=== Geometry ===
 
=== Geometry ===
* [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings]
+
* [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.]
Line 95: Line 95:
 
* [http://sigfpe.blogspot.com/2007/03/independence-entanglement-and.html Independence, entanglement and decoherence with the quantum monad]
 
* [http://sigfpe.blogspot.com/2007/03/independence-entanglement-and.html Independence, entanglement and decoherence with the quantum monad]
 
* [http://sigfpe.blogspot.com/2007/03/shor-quantum-error-correcting-code-and.html The Shor Quantum Error Correcting Code (and a Monad for Heat)]
 
* [http://sigfpe.blogspot.com/2007/03/shor-quantum-error-correcting-code-and.html The Shor Quantum Error Correcting Code (and a Monad for Heat)]
* [http://www.alpheccar.org/en/posts/show/68 The Frame Of Reference Monad]
 
   
 
== Mathematics of Haskell ==
 
== Mathematics of Haskell ==

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