Difference between revisions of "Haskell and mathematics/Hierarchy"
From HaskellWiki
(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 mathematicianattracting 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 

−  arbitraryprecision 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 23:25, 31 January 2009
Redirect to: