Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Set theory)
(Set theory)
Line 31: Line 31:
   
 
=== Set theory ===
 
=== Set theory ===
* [http://community.livejournal.com/evan_tech/220036.html Powerset oneliner]
+
* Countable ordinals in Haskell
* Coutable ordinals in Haskell
 
 
** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Part 1]
 
** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Part 1]
 
** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Part 2]
 
** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Part 2]
  +
* [http://community.livejournal.com/evan_tech/220036.html Defining a power set in one line]
   
 
=== Ring theory ===
 
=== Ring theory ===

Revision as of 04:18, 30 June 2007

Haskell and mathematics. See also the Haskell math community.

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