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.