Difference between revisions of "Blog articles/Mathematics"

From HaskellWiki
Jump to navigation Jump to search
m (Undo revision 44220 by Rstephan (Talk); new URL scheme, no 404, actually. hmpf)
(18 intermediate revisions by 5 users not shown)
Line 1: Line 1:
−
Haskell and mathematics. See also the [[Haskell_and_mathematics|Haskell math community]].
 +
Articles using Haskell for mathematics, and the mathematics of Haskell.
  +
  +
For further references see the:
  +
  +
* [[Haskell_and_mathematics|Haskell math community]].
  +
* [[Blog_articles/Monads|Mathematics of monads]]
   
 
== Haskell for mathematics ==
  
== Haskell for mathematics ==
Line 6: Line 11:
   
 
* [http://sigfpe.blogspot.com/2006/01/eleven-reasons-to-use-haskell-as.html Eleven Reasons to use Haskell as a Mathematician]
  
* [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://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]
  
* [http://blog.mikael.johanssons.org/archive/2006/10/prototyping-thought/ Prototyping thought]
Line 23: Line 28:
   
 
=== Geometry ===
  
=== 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 ===
  
=== Group theory ===
   
Line 30: Line 38:
 
* [http://blog.mikael.johanssons.org/archive/2006/07/carry-bits-and-group-cohomology/ Carry bits and group cohomology]
  
* [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://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 ===
  
=== Set theory ===
−
* Uncountable ordinals in Haskell
 +
* Ordinals in Haskell
−
** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Part 1]
 +
** [http://japple.blogspot.com/2007/02/countable-ordinals-in-haskell.html Countable ordinals]
−
** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Part 2]
 +
** [http://japple.blogspot.com/2007/06/ordinals-part-2.html Uncountable ordinals and better representations for countable ordinals]
−
* [http://japple.blogspot.com/2007/06/constructability-uncountability-and.html Constructability, Uncountability, and �-Haskell]
 +
** [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 ω-Haskell]
 
* [http://community.livejournal.com/evan_tech/220036.html Defining a power set in one line]
  
* [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 ===
  
=== Ring theory ===
Line 42: Line 53:
   
 
=== Number theory ===
  
=== Number theory ===
  +
⚫
* [http://cdsmith.wordpress.com/2007/06/24/learning-haskell-and-number-theory-gcd-and-higher-order-functions/ GCD and Higher Order Functions]
  
  +
* Number theory and Haskell:
  +
** [http://cdsmith.wordpress.com/2007/06/02/learning-number-theory-and-haskell-the-division-algorithm/ The Division Algorithm]
  +
** [http://cdsmith.wordpress.com/2007/06/03/learning-number-theory-and-haskell-more-quickcheck-and-divisors/ QuickCheck and Divisors]
  +
** [http://cdsmith.wordpress.com/2007/06/06/learning-number-theory-and-haskell-greatest-common-divisor/ Greatest Common Divisor]
  ⚫
** [http://cdsmith.wordpress.com/2007/06/24/learning-haskell-and-number-theory-gcd-and-higher-order-functions/ GCD and Higher Order Functions]
  +
** [http://cdsmith.wordpress.com/2007/07/05/learning-haskell-and-number-theory-the-end-of-gcd/ The End of GCD]
  +
  +
* [http://www.akalin.cx/2007/07/06/a-foray-into-number-theory-with-haskell/ A foray into number theory with Haskell]
   
 
=== Cryptography and coding theory ===
  
=== Cryptography and coding theory ===
Line 76: Line 95:
 
* [http://sigfpe.blogspot.com/2007/03/independence-entanglement-and.html Independence, entanglement and decoherence with the quantum monad]
  
* [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://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 ==
  
== Mathematics of Haskell ==
Line 83: Line 101:
   
 
* Category Theory and the Category of Haskell programs:
  
* Category Theory and the Category of Haskell programs:
−
** [http://www.alpheccar.org/en/posts/show/74 Category Theory and the category of Haskell programs]
 +
** [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/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?]
  
* [http://sigfpe.blogspot.com/2006/11/why-isnt-listt-monad.html Why isn't ListT list a monad?]
Line 102: Line 123:
 
* [http://sigfpe.blogspot.com/2006/09/infinitesimal-types.html Infinitesimal Types]
  
* [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://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:Tutorials]]

Revision as of 15:22, 26 January 2012

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

Retrieved from "https://wiki.haskell.org/index.php?title=Blog_articles/Mathematics&oldid=44222"