Personal tools

Blog articles/Mathematics

From HaskellWiki

Jump to: navigation, search

Contents

1 Maths

1.1 Haskell for mathematics

1.1.1 General

1.1.2 Calculus and Differential Geometry

1.1.3 Algebraic Topology and Geometry

1.1.4 Geometry

1.1.5 Group Theory

1.1.6 Set Theory

1.1.7 Ring Theory

1.1.8 Number Theory

1.1.9 Cryptography and Coding Theory

1.1.10 Logic

1.1.11 Numerics

1.2 Theorem Proving

1.3 Quantum Computing

1.4 Mathematics of Haskell

1.4.1 Category Theoretic

1.4.2 Lambda and Combinator Calculi

1.4.3 Other Formal Logics

1.4.4 Miscellaneous