Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
Line 37: Line 37:
 
* [http://blog.mikael.johanssons.org/archive/2006/07/carry-bits-and-group-cohomology/ Carry bits and group cohomology]
 
* [http://blog.mikael.johanssons.org/archive/2006/07/carry-bits-and-group-cohomology/ Carry bits and group cohomology]
 
* [http://sigfpe.blogspot.com/2007/06/monads-from-algebra-and-the-gray-code.html Monads from Algebra and the the Gray Code from Groups]
 
* [http://sigfpe.blogspot.com/2007/06/monads-from-algebra-and-the-gray-code.html Monads from Algebra and the the Gray Code from Groups]
  +
* [http://www.kennknowles.com/blog/2007/12/20/infinite-lazy-knuth-bendix-completion-for-monoids-in-haskell/ Infinite lazy Knuth-Bendix completion for monoids in Haskell]
   
 
=== Set theory ===
 
=== Set theory ===

Revision as of 22:52, 20 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