# Blog articles/Mathematics

Jump to navigation
Jump to search

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

For further references see the:

## Haskell for mathematics

### General

- Eleven Reasons to use Haskell as a Mathematician
- Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory libraries (blog, hackage)
- Learn Maths with Haskell
- Prototyping thought
- Why Haskell?

### Calculus and Differential Geometry

### Algebraic Topology and Geometry

### Geometry

- Haskell, PDF and Penrose Tilings
- Visualizing 2D convex hull using Gtk and OpenGL in Haskell
- Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.
- Drawing fractals in Haskell with a cursor graphics DSEL and a cute list representation

### Group theory

- Computational Group Theory in Haskell
- Carry bits and group cohomology
- Monads from Algebra and the the Gray Code from Groups
- Infinite lazy Knuth-Bendix completion for monoids in Haskell

### Set theory

- Ordinals in Haskell
- Constructability, Uncountability, and ω-Haskell
- Defining a power set in one line

### Ring theory

### Number theory

- Number theory and Haskell:

### Cryptography and coding theory

- Feistel Ciphers and DES in Haskell
- Arithmetic coding in Haskell
- Two-dimensional spatial hashing with space-filling curves

### Logic

- Laws of Form: An Opinion
- Incomplete and Utter Introduction to Modal Logic, Pt. 1
- Incomplete and Utter Introduction to Modal Logic, Pt. 2

### Numerics

- The Division Bell

- Overloading Haskell numbers

## Theorem proving

## Quantum computing

- The Essence of Quantum Computing
- Monads for vector spaces, probability and quantum mechanics pt. I
- Monads, Vector Spaces and Quantum Mechanics pt. II
- Independence, entanglement and decoherence with the quantum monad
- The Shor Quantum Error Correcting Code (and a Monad for Heat)

## Mathematics of Haskell

### Category theoretic

- Why isn't ListT list a monad?
- Reverse Engineering Machines with the Yoneda Lemma
- Variable substitution gives a...
- Games, Strategies and the Self-Composition of the List Monad.