Personal tools

Blog articles/Mathematics

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(full cdsmith series)
(Number theory)
Line 47: Line 47:
   
 
=== Number theory ===
 
=== Number theory ===
* [http://cdsmith.wordpress.com/2007/06/02/learning-number-theory-and-haskell-the-division-algorithm/ The Division Algorithm]
+
* [http://cdsmith.wordpress.com/2007/06/03/learning-number-theory-and-haskell-more-quickcheck-and-divisors/ QuickCheck and Divisors]
+
* Number theory and Haskell:
* [http://cdsmith.wordpress.com/2007/06/06/learning-number-theory-and-haskell-greatest-common-divisor/ Greatest Common Divisor]
+
** [http://cdsmith.wordpress.com/2007/06/02/learning-number-theory-and-haskell-the-division-algorithm/ The Division Algorithm]
* [http://cdsmith.wordpress.com/2007/06/24/learning-haskell-and-number-theory-gcd-and-higher-order-functions/ GCD and Higher Order Functions]
+
** [http://cdsmith.wordpress.com/2007/06/03/learning-number-theory-and-haskell-more-quickcheck-and-divisors/ QuickCheck and Divisors]
* [http://cdsmith.wordpress.com/2007/07/05/learning-haskell-and-number-theory-the-end-of-gcd/ The End of GCD]
+
** [http://cdsmith.wordpress.com/2007/06/06/learning-number-theory-and-haskell-greatest-common-divisor/ Greatest Common Divisor]
  +
** [http://cdsmith.wordpress.com/2007/06/24/learning-haskell-and-number-theory-gcd-and-higher-order-functions/ GCD and Higher Order Functions]
  +
** [http://cdsmith.wordpress.com/2007/07/05/learning-haskell-and-number-theory-the-end-of-gcd/ The End of GCD]
  +
  +
* [http://www.akalin.cx/2007/07/06/a-foray-into-number-theory-with-haskell/ A foray into number theory with Haskell]
   
 
=== Cryptography and coding theory ===
 
=== Cryptography and coding theory ===

Revision as of 04:58, 7 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