Difference between revisions of "Blog articles/Mathematics"
From HaskellWiki
CaleGibbard (talk  contribs) 
DonStewart (talk  contribs) (categories) 

Line 1:  Line 1:  
−  == Maths == 

+  Haskell and mathematics. See also the [[Haskell_and_mathematicsHaskell math community]]. 

−  +  == Haskell for mathematics == 

−  +  === General === 

* [http://sigfpe.blogspot.com/2006/01/elevenreasonstousehaskellas.html Eleven Reasons to use Haskell as a Mathematician] 
* [http://sigfpe.blogspot.com/2006/01/elevenreasonstousehaskellas.html Eleven Reasons to use Haskell as a Mathematician] 

Line 11:  Line 11:  
* [http://scienceblogs.com/goodmath/2006/11/why_haskell.php Why Haskell?] 
* [http://scienceblogs.com/goodmath/2006/11/why_haskell.php Why Haskell?] 

−  +  === Calculus and Differential Geometry === 

* [http://sigfpe.blogspot.com/2006/09/practicalsyntheticdifferential.html Practical Synthetic Differential Geometry] 
* [http://sigfpe.blogspot.com/2006/09/practicalsyntheticdifferential.html Practical Synthetic Differential Geometry] 

* [http://vandreev.wordpress.com/2006/12/04/nonstandardanalysisandautomaticdifferentiation/ Nonstandard analysis, automatic differentiation, Haskell] 
* [http://vandreev.wordpress.com/2006/12/04/nonstandardanalysisandautomaticdifferentiation/ Nonstandard analysis, automatic differentiation, Haskell] 

−  +  === Algebraic Topology and Geometry === 

* [http://sigfpe.blogspot.com/2006/08/algebraictopologyinhaskell.html Algebraic Topology in Haskell] 
* [http://sigfpe.blogspot.com/2006/08/algebraictopologyinhaskell.html Algebraic Topology in Haskell] 

* [http://sigfpe.blogspot.com/2006/09/morelowcostgeometricalgebra.html More Low Cost Geometric Algebra] 
* [http://sigfpe.blogspot.com/2006/09/morelowcostgeometricalgebra.html More Low Cost Geometric Algebra] 

−  
* [http://sigfpe.blogspot.com/2006/08/geometricalgebraforfree_30.html Geometric Algebra for Free!] 
* [http://sigfpe.blogspot.com/2006/08/geometricalgebraforfree_30.html Geometric Algebra for Free!] 

−  +  === Geometry === 

* [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings] 
* [http://www.alpheccar.org/en/posts/show/57 Haskell, PDF and penrose tilings] 

−  +  === Group Theory === 

* [http://blog.mikael.johanssons.org/archive/2006/10/computationalgrouptheoryinhaskell1inaseries/ Computational Group Theory in Haskell] 
* [http://blog.mikael.johanssons.org/archive/2006/10/computationalgrouptheoryinhaskell1inaseries/ Computational Group Theory in Haskell] 

* [http://blog.mikael.johanssons.org/archive/2006/07/carrybitsandgroupcohomology/ Carry bits and group cohomology] 
* [http://blog.mikael.johanssons.org/archive/2006/07/carrybitsandgroupcohomology/ Carry bits and group cohomology] 

−  +  === Set Theory === 

* [http://community.livejournal.com/evan_tech/220036.html Powerset oneliner] 
* [http://community.livejournal.com/evan_tech/220036.html Powerset oneliner] 

* [http://japple.blogspot.com/2007/02/countableordinalsinhaskell.html Countable Ordinals in Haskell] 
* [http://japple.blogspot.com/2007/02/countableordinalsinhaskell.html Countable Ordinals in Haskell] 

−  +  === Ring Theory === 

* [http://www.quetzal.com/sambangu/2006/12/polynomialsasnumbers Polynomials] 
* [http://www.quetzal.com/sambangu/2006/12/polynomialsasnumbers Polynomials] 

−  +  === Number Theory === 

* [http://cdsmith.wordpress.com/2007/06/24/learninghaskellandnumbertheorygcdandhigherorderfunctions/ GCD and Higher Order Functions] 
* [http://cdsmith.wordpress.com/2007/06/24/learninghaskellandnumbertheorygcdandhigherorderfunctions/ GCD and Higher Order Functions] 

−  +  === Cryptography and Coding Theory === 

* [http://vandreev.wordpress.com/2007/06/18/feistelciphersanddesinhaskell/ Feistel Ciphers and DES in Haskell] 
* [http://vandreev.wordpress.com/2007/06/18/feistelciphersanddesinhaskell/ Feistel Ciphers and DES in Haskell] 

* [http://vandreev.wordpress.com/2007/01/07/arithmeticcoding/ Arithmetic coding in Haskell] 
* [http://vandreev.wordpress.com/2007/01/07/arithmeticcoding/ Arithmetic coding in Haskell] 

* [http://www.serpentine.com/blog/2007/01/11/twodimensionalspatialhashingwithspacefillingcurves/ Twodimensional spatial hashing with spacefilling curves] 
* [http://www.serpentine.com/blog/2007/01/11/twodimensionalspatialhashingwithspacefillingcurves/ Twodimensional spatial hashing with spacefilling curves] 

−  +  === Logic === 

* [http://sigfpe.blogspot.com/2006/06/lawsofformopinion.html Laws of Form: An Opinion] 
* [http://sigfpe.blogspot.com/2006/06/lawsofformopinion.html Laws of Form: An Opinion] 

−  +  === Numerics === 

* The Division Bell 
* The Division Bell 

** [http://praisecurseandrecurse.blogspot.com/2006/12/divisionbelltollsforme.html Part One] 
** [http://praisecurseandrecurse.blogspot.com/2006/12/divisionbelltollsforme.html Part One] 

Line 63:  Line 62:  
** [http://augustss.blogspot.com/2007/05/iwasaskedifmyfixednumbermodule.html Dynamic epsilons in Haskell with a bit of type hackery] 
** [http://augustss.blogspot.com/2007/05/iwasaskedifmyfixednumbermodule.html Dynamic epsilons in Haskell with a bit of type hackery] 

−  +  == Theorem Proving == 

* [http://vandreev.wordpress.com/2006/12/24/quickanddirtytheoremprover/ Quick and Dirty Theorem Prover] 
* [http://vandreev.wordpress.com/2006/12/24/quickanddirtytheoremprover/ Quick and Dirty Theorem Prover] 

−  +  == Quantum Computing == 

* [http://sigfpe.blogspot.com/2007/02/essenceofquantumcomputing.html The Essence of Quantum Computing] 
* [http://sigfpe.blogspot.com/2007/02/essenceofquantumcomputing.html The Essence of Quantum Computing] 

Line 75:  Line 74:  
* [http://www.alpheccar.org/en/posts/show/68 The Frame Of Reference Monad] 
* [http://www.alpheccar.org/en/posts/show/68 The Frame Of Reference Monad] 

−  +  == Mathematics of Haskell == 

−  +  === Category Theoretic === 

* Category Theory and the Category of Haskell programs: 
* Category Theory and the Category of Haskell programs: 

Line 88:  Line 87:  
* [http://sigfpe.blogspot.com/2006/10/gamesstrategiesandselfcomposition.html Games, Strategies and the SelfComposition of the List Monad.] 
* [http://sigfpe.blogspot.com/2006/10/gamesstrategiesandselfcomposition.html Games, Strategies and the SelfComposition of the List Monad.] 

−  +  === Lambda and Combinator Calculi === 

* [http://scienceblogs.com/goodmath/2006/09/programs_are_proofs_models_and_1.php Programs are Proofs: Models and Types in Lambda Calculus] 
* [http://scienceblogs.com/goodmath/2006/09/programs_are_proofs_models_and_1.php Programs are Proofs: Models and Types in Lambda Calculus] 

* [http://www.onebadseed.com/blog/?p=51 Don't need the Y combinator] 
* [http://www.onebadseed.com/blog/?p=51 Don't need the Y combinator] 

−  +  === Other Formal Logics === 

* [http://sigfpe.blogspot.com/2006/11/fromltheoremtospreadsheet.html From Löb's Theorem to Spreadsheet Evaluation] 
* [http://sigfpe.blogspot.com/2006/11/fromltheoremtospreadsheet.html From Löb's Theorem to Spreadsheet Evaluation] 

−  +  === Miscellaneous === 

* [http://www.rubrication.net/2007/04/21/howarealmodulesystemshouldwork/ ML, Haskell and Coq] 
* [http://www.rubrication.net/2007/04/21/howarealmodulesystemshouldwork/ ML, Haskell and Coq] 

* [http://sigfpe.blogspot.com/2006/09/infinitesimaltypes.html Infinitesimal Types] 
* [http://sigfpe.blogspot.com/2006/09/infinitesimaltypes.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] 

+  
+  [[Category:Tutorials]] 
Revision as of 07:35, 29 June 2007
Haskell and mathematics. See also the Haskell math community.
Haskell for mathematics
General
 Eleven Reasons to use Haskell as a Mathematician
 Haskell for Maths: commutative algebra, combinatorics, number theory, and group theory libraries
 Learn Maths with Haskell
 Prototyping thought
 Why Haskell?
Calculus and Differential Geometry
Algebraic Topology and Geometry
Geometry
Group Theory
Set Theory
Ring Theory
Number Theory
Cryptography and Coding Theory
 Feistel Ciphers and DES in Haskell
 Arithmetic coding in Haskell
 Twodimensional spatial hashing with spacefilling curves
Logic
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)
 The Frame Of Reference Monad
Mathematics of Haskell
Category Theoretic
 Category Theory and the Category of Haskell programs:
 Why isn't ListT list a monad?
 Reverse Engineering Machines with the Yoneda Lemma
 Variable substitution gives a...
 Games, Strategies and the SelfComposition of the List Monad.