Difference between revisions of "Haskell and mathematics/Hierarchy"
Jump to navigation
Jump to search
(link to Mathematical prelude discussion) |
(REDIRECT Mathematical prelude discussion) |
||
| Line 1: | Line 1: | ||
| − | + | #REDIRECT [[Mathematical prelude discussion]] |
|
| − | |||
| − | 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.'' |
||
| − | |||
| − | == Notes == |
||
| − | |||
| − | This article should be merged with [[Mathematical prelude discussion]]. |
||
Revision as of 23:25, 31 January 2009
Redirect to: