Personal tools

Blog articles/Mathematics

From HaskellWiki

Jump to: navigation, search

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