Difference between revisions of "Haskell and mathematics/Hierarchy"
Jump to navigation
Jump to search
(link to Mathematical prelude discussion) |
m |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
− | + | #REDIRECT [[Mathematical prelude discussion]] |
|
+ | [[Category: Pages to be removed]] |
||
− | 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]]. |
Latest revision as of 06:29, 8 June 2023
Redirect to: