Blog articles/Mathematics

From HaskellWiki
< Blog articles
Revision as of 07:20, 16 April 2020 by Nikki (talk | contribs) (Post about Modal Logic added)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Articles using Haskell for mathematics, and the mathematics of Haskell.

For further references see the:

Haskell for mathematics

General

Calculus and Differential Geometry

Algebraic Topology and Geometry

Geometry

Group theory

Set theory

Ring theory

Number theory

Cryptography and coding theory

Logic

Numerics

Theorem proving

Quantum computing

Mathematics of Haskell

Category theoretic

Lambda and combinator calculi

Other formal logics

Miscellaneous