Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Category theoretic)
(Set theory)
Line 40: Line 40:
 
** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Countable ordinals]
 
** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Countable ordinals]
 
** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Uncountable ordinals and better representations for countable ordinals]
 
** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Uncountable ordinals and better representations for countable ordinals]
  +
** [http://blog.jbapple.com/2007/07/ord-countable-ordinals-and-idea-of.html Ord, Countable Ordinals, and an Idea of sigfpe]
 
* [http://japple.blogspot.com/2007/06/constructability-uncountability-and.html Constructability, Uncountability, and &omega;-Haskell]
 
* [http://japple.blogspot.com/2007/06/constructability-uncountability-and.html Constructability, Uncountability, and &omega;-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 02:21, 24 July 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