Blog articles/Mathematics: Difference between revisions

Latest revision as of 07:20, 16 April 2020

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

Group theory

Set theory

Ring theory

Polynomials (update)

Number theory

Number theory and Haskell:

A foray into number theory with Haskell

Cryptography and coding theory

Logic

Numerics

The Division Bell

Overloading Haskell numbers

Theorem proving

Quick and Dirty Theorem Prover

Quantum computing

Mathematics of Haskell

Category theoretic

Category Theory and the Category of Haskell programs:
- Part 1
- Part 2
- Part 3

Category theory and Haskell

Lambda and combinator calculi

Other formal logics

From Löb's Theorem to Spreadsheet Evaluation

Miscellaneous

@@ Line 11: / Line 11: @@
 * [http://sigfpe.blogspot.com/2006/01/eleven-reasons-to-use-haskell-as.html Eleven Reasons to use Haskell as a Mathematician]
-* [http://www.polyomino.f2s.com/ Haskell for Maths]: commutative algebra, combinatorics, number theory, and group theory libraries
+* [http://www.polyomino.f2s.com/ Haskell for Maths]: commutative algebra, combinatorics, number theory, and group theory libraries ([http://haskellformaths.blogspot.com/ blog], [http://hackage.haskell.org/package/HaskellForMaths hackage])
 * [http://sigfpe.blogspot.com/2006/09/learn-maths-with-haskell.html Learn Maths with Haskell]
 * [http://blog.mikael.johanssons.org/archive/2006/10/prototyping-thought/ Prototyping thought]
@@ Line 28: / Line 28: @@
 === Geometry ===
-* [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings]
+* [http://www.alpheccar.org/content/57.html Haskell, PDF and Penrose Tilings]
+* [http://www.kennknowles.com/blog/2007/11/20/visualizing-2d-convex-hull-using-gtk-and-opengl-in-haskell/ Visualizing 2D convex hull using Gtk and OpenGL in Haskell]
+* [http://www.kennknowles.com/blog/2007/12/03/calculating-the-reflect-rotate-translate-normal-form-for-an-isometry-of-the-plane-in-haskell-and-verifying-it-with-quickcheck/ Calculating the reflect-rotate-translate normal form for an isometry of the plane in Haskell, and verifying it with QuickCheck.]
+* [http://www.kennknowles.com/blog/2008/04/16/drawing-fractals-in-haskell-with-a-cursor-graphics-dsel-and-a-cute-list-representation/ Drawing fractals in Haskell with a cursor graphics DSEL and a cute list representation]
 === Group theory ===
@@ Line 35: / Line 38: @@
 * [http://blog.mikael.johanssons.org/archive/2006/07/carry-bits-and-group-cohomology/ Carry bits and group cohomology]
 * [http://sigfpe.blogspot.com/2007/06/monads-from-algebra-and-the-gray-code.html Monads from Algebra and the the Gray Code from Groups]
+* [http://www.kennknowles.com/blog/2007/12/20/infinite-lazy-knuth-bendix-completion-for-monoids-in-haskell/ Infinite lazy Knuth-Bendix completion for monoids in Haskell]
 === Set theory ===
@@ Line 40: / Line 44: @@
 ** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Countable ordinals]
 ** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Uncountable ordinals and better representations for countable ordinals]
+** [http://blog.jbapple.com/2007/07/ord-countable-ordinals-and-idea-of.html Ord, Countable Ordinals, and an Idea of sigfpe]
 * [http://japple.blogspot.com/2007/06/constructability-uncountability-and.html Constructability, Uncountability, and &omega;-Haskell]
 * [http://community.livejournal.com/evan_tech/220036.html Defining a power set in one line]
+** [http://blog.mikedaum.com/2007/06/28/haskell-power/ Commentary on this powerset implementation]
 === Ring theory ===
@@ Line 64: / Line 70: @@
 === Logic ===
 * [http://sigfpe.blogspot.com/2006/06/laws-of-form-opinion.html Laws of Form: An Opinion]
+* [https://serokell.io/blog/incomplete-and-utter-introduction-to-modal-logic Incomplete and Utter Introduction to Modal Logic, Pt. 1]
+* [https://serokell.io/blog/incomplete-and-utter-introduction-to-modal-logic Incomplete and Utter Introduction to Modal Logic, Pt. 2]
 === Numerics ===
@@ Line 89: / Line 97: @@
 * [http://sigfpe.blogspot.com/2007/03/independence-entanglement-and.html Independence, entanglement and decoherence with the quantum monad]
 * [http://sigfpe.blogspot.com/2007/03/shor-quantum-error-correcting-code-and.html The Shor Quantum Error Correcting Code (and a Monad for Heat)]
-* [http://www.alpheccar.org/en/posts/show/68 The Frame Of Reference Monad]
 == Mathematics of Haskell ==
@@ Line 96: / Line 103: @@
 * Category Theory and the Category of Haskell programs:
-** [http://www.alpheccar.org/en/posts/show/74 Part 1]
+** [http://www.alpheccar.org/content/74.html Part 1]
-** [http://www.alpheccar.org/en/posts/show/76 Part 2]
+** [http://www.alpheccar.org/content/76.html Part 2]
-** [http://www.alpheccar.org/en/posts/show/77 Part 3]
+** [http://www.alpheccar.org/content/77.html Part 3]
+* [http://en.wikibooks.org/wiki/Haskell/Category_theory Category theory and Haskell]
 * [http://sigfpe.blogspot.com/2006/11/why-isnt-listt-monad.html Why isn't ListT list a monad?]
@@ Line 116: / Line 125: @@
 * [http://sigfpe.blogspot.com/2006/09/infinitesimal-types.html Infinitesimal Types]
 * [http://www.alpheccar.org/en/posts/show/70 Djinn, Coq, Monad and a bit of Haskell]
+* [http://disparatemathematician.blogspot.com/2007/07/peanos-axioms-iv-advanced-functions-and.html Peano's Axioms IV: Advanced Functions and Integers]
+* [http://sigfpe.blogspot.com/2005/07/formal-power-series-and-haskell.html Formal Power Series and Haskell]
 [[Category:Tutorials]]
 [[Category:Mathematics|*]]