Fwd: [Haskell-cafe] Category Theory woes

2010-02-18 Thread Michael Matsko
- Forwarded Message - From: Michael Matsko msmat...@comcast.net To: Nick Rudnick joerg.rudn...@t-online.de Sent: Thursday, February 18, 2010 2:16:18 PM GMT -05:00 US/Canada Eastern Subject: Re: [Haskell-cafe] Category Theory woes Gregg,    Topologically speaking, the border

Re: [Haskell-cafe] Category Theory woes

2010-02-18 Thread Michael Matsko
To: Michael Matsko msmat...@comcast.net Cc: haskell-cafe@haskell.org Sent: Thursday, February 18, 2010 3:15:49 PM GMT -05:00 US/Canada Eastern Subject: Re: Fwd: [Haskell-cafe] Category Theory woes Hi Mike, so an open set does not contain elements constituting a border/boundary of it, does

Re: [Haskell-cafe] Category Theory woes

2010-02-18 Thread Michael Matsko
for the Working Mathematician. Although, I don't seem to recall instant enlightenment when I picked it up. Mike - Original Message - From: Nick Rudnick joerg.rudn...@t-online.de To: Michael Matsko msmat...@comcast.net Cc: haskell-cafe@haskell.org Sent: Thursday, February 18, 2010 4:54:03 PM

Re: [Haskell-cafe] Looking for the fastest Haskell primes algorithm

2009-04-14 Thread Michael Matsko
You might want to look at Pari/GP ( http://pari.math.u-bordeaux.fr/ ) for ideas of what kind of functions to supply. Also, as a source of ideas for algorithms. Mike Matsko - Original Message - From: Max Rabkin max.rab...@gmail.com To: Andrew Wagner wagner.and...@gmail.com Cc: R.A.

Re: [Haskell-cafe] mathematical notation and functional programming

2005-01-28 Thread Michael Matsko
Also, Walter Noll of Carnegie Mellon Univ. wrote a book, Finite-Dimensional Spacesin 1987 which basically presented undergraduate math in a notationally and conceptually unified manner. Some of the notation and terminology was strange, but consistent. Mike Matsko - Original Message

Re: [Haskell-cafe] Matroids in Haskell

2005-01-15 Thread Michael Matsko
Dimitri Matriods are generalization of vector spaces. Basically, they are defined by a set of linear dependence axioms and basis exchange properties. Oxley's Matriod Theory is the standard reference. There are a multitude of equivalent formulations. Mike Matsko - Original