Difference between revisions of "Blog articles/Mathematics"

From HaskellWiki
Jump to: navigation, search
m (Undo revision 44220 by Rstephan (Talk); new URL scheme, no 404, actually. hmpf)
m (Post about Modal Logic added)
 
Line 70: Line 70:
 
=== Logic ===
 
=== Logic ===
 
* [http://sigfpe.blogspot.com/2006/06/laws-of-form-opinion.html Laws of Form: An Opinion]
 
* [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 ===
 
=== Numerics ===

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

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