# Difference between revisions of "Haskell and mathematics/Hierarchy"

From HaskellWiki

(Created page) |
Forkiliens (talk | contribs) |
||

Line 2: | Line 2: | ||

Here is a place to discuss ideas for a mathematician-attracting hierarchy of mathematics modules that incorporate a sound algebraic class structure. |
Here is a place to discuss ideas for a mathematician-attracting hierarchy of mathematics modules that incorporate a sound algebraic class structure. |
||

+ | |||

+ | Basic algebraic structures in Haskell: |
||

+ | ftp://ftp.botik.ru/pub/local/Mechveliani/basAlgPropos/ |
||

+ | |||

+ | Categorical Approach to representing mathematical structures in Haskell: |
||

+ | ftp://ftp.botik.ru/pub/local/Mechveliani/docon/ |
||

''For me that probably starts with the semigroup/group/ring setup, and good |
''For me that probably starts with the semigroup/group/ring setup, and good |

## Revision as of 03:58, 21 March 2008

**Mathematical Hierarchy**

Here is a place to discuss ideas for a mathematician-attracting hierarchy of mathematics modules that incorporate a sound algebraic class structure.

Basic algebraic structures in Haskell: ftp://ftp.botik.ru/pub/local/Mechveliani/basAlgPropos/

Categorical Approach to representing mathematical structures in Haskell: ftp://ftp.botik.ru/pub/local/Mechveliani/docon/

*For me that probably starts with the semigroup/group/ring setup, and good*
arbitrary-precision as well as approximate linear algebra support.

*I agree: semigoups like lattices are everywhere. Then there could be a uniform treatment of linear algebra, polynomial equations, operator algebra, etc.*