Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Group theory)
Line 1: Line 1:
Haskell and mathematics. See also the [[Haskell_and_mathematics|Haskell math community]].
+
Haskell and mathematics.
  +
  +
For further references see the:
  +
* [[Haskell_and_mathematics|Haskell math community]].
  +
* [[Blog_articles/Monads]]
   
 
== Haskell for mathematics ==
 
== Haskell for mathematics ==
Line 35: Line 35:
 
** [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://japple.blogspot.com/2007/06/constructability-uncountability-and.html Constructability, Uncountability, and -Haskell]
+
* [http://japple.blogspot.com/2007/06/constructability-uncountability-and.html Constructability, Uncountability, and -Haskell]
 
* [http://community.livejournal.com/evan_tech/220036.html Defining a power set in one line]
 
* [http://community.livejournal.com/evan_tech/220036.html Defining a power set in one line]
   

Revision as of 01:40, 2 July 2007

Haskell and mathematics.

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