Blog articles/Mathematics
From HaskellWiki
< Blog articles(Difference between revisions)
KennKnowles (Talk  contribs) 
KennKnowles (Talk  contribs) 

Line 31:  Line 31:  
* [http://www.kennknowles.com/blog/2007/11/20/visualizing2dconvexhullusinggtkandopenglinhaskell/ Visualizing 2D convex hull using Gtk and OpenGL in Haskell] 
* [http://www.kennknowles.com/blog/2007/11/20/visualizing2dconvexhullusinggtkandopenglinhaskell/ Visualizing 2D convex hull using Gtk and OpenGL in Haskell] 

* [http://www.kennknowles.com/blog/2007/12/03/calculatingthereflectrotatetranslatenormalformforanisometryoftheplaneinhaskellandverifyingitwithquickcheck/ Calculating the reflectrotatetranslate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.] 
* [http://www.kennknowles.com/blog/2007/12/03/calculatingthereflectrotatetranslatenormalformforanisometryoftheplaneinhaskellandverifyingitwithquickcheck/ Calculating the reflectrotatetranslate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.] 

−  +  * [http://www.kennknowles.com/blog/2008/04/16/drawingfractalsinhaskellwithacursorgraphicsdselandacutelistrepresentation/ Drawing fractals in Haskell with a cursor graphics DSEL and a cute list representation] 

+  
=== Group theory === 
=== Group theory === 

Revision as of 21:47, 16 April 2008
Articles using Haskell for mathematics, and the mathematics of Haskell.
For further references see the:
Contents 
1 Haskell for mathematics
1.1 General
 Eleven Reasons to use Haskell as a Mathematician
 Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory libraries
 Learn Maths with Haskell
 Prototyping thought
 Why Haskell?
1.2 Calculus and Differential Geometry
1.3 Algebraic Topology and Geometry
1.4 Geometry
 Haskell, PDF and penrose tilings
 Visualizing 2D convex hull using Gtk and OpenGL in Haskell
 Calculating the reflectrotatetranslate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.
 Drawing fractals in Haskell with a cursor graphics DSEL and a cute list representation
1.5 Group theory
 Computational Group Theory in Haskell
 Carry bits and group cohomology
 Monads from Algebra and the the Gray Code from Groups
 Infinite lazy KnuthBendix completion for monoids in Haskell
1.6 Set theory
 Ordinals in Haskell
 Constructability, Uncountability, and ωHaskell
 Defining a power set in one line
1.7 Ring theory
1.8 Number theory
 Number theory and Haskell:
1.9 Cryptography and coding theory
 Feistel Ciphers and DES in Haskell
 Arithmetic coding in Haskell
 Twodimensional spatial hashing with spacefilling curves
1.10 Logic
1.11 Numerics
 The Division Bell
 Overloading Haskell numbers
2 Theorem proving
3 Quantum computing
 The Essence of Quantum Computing
 Monads for vector spaces, probability and quantum mechanics pt. I
 Monads, Vector Spaces and Quantum Mechanics pt. II
 Independence, entanglement and decoherence with the quantum monad
 The Shor Quantum Error Correcting Code (and a Monad for Heat)
 The Frame Of Reference Monad
4 Mathematics of Haskell
4.1 Category theoretic
 Why isn't ListT list a monad?
 Reverse Engineering Machines with the Yoneda Lemma
 Variable substitution gives a...
 Games, Strategies and the SelfComposition of the List Monad.