Objective We propose to use the functional language Haskell to write an extensible software package for computational homological algebra accessible to all researchers in the area. The software would combine routines specifically written for this purpose with interfaced code from established existing systems and libraries such as GAP (group theory), CoCoA (commutative algebra), Bergman (non-commutative algebra), LinBox (exact linear algebra). A programmable user-friendly interface would be constructed in the form of a domain specific language.In order for this to happen, a substantial transfer of knowledge of functional programming, computer algebra and general computer science to a group of mathematicians with a great interest but only superficial knowledge would have to take place. This transfer would come about through postdoctoral researchers working with the research group in Galway. Fields of science natural sciencesmathematicspure mathematicsalgebralinear algebranatural sciencescomputer and information sciencessoftwarenatural sciencesmathematicspure mathematicsalgebracommutative algebranatural sciencesmathematicspure mathematicstopologycomputational topology Keywords Functional Programming Homological Algebra Programme(s) FP6-MOBILITY - Human resources and Mobility in the specific programme for research, technological development and demonstration "Structuring the European Research Area" under the Sixth Framework Programme 2002-2006 Topic(s) MOBILITY-1.3 - Marie Curie Host Fellowships - Transfer of knowledge (TOK) Call for proposal FP6-2005-MOBILITY-3 See other projects for this call Funding Scheme TOK - Marie Curie actions-Transfer of Knowledge Coordinator NATIONAL UNIVERSITY OF IRELAND, GALWAY EU contribution No data Address University Road GALWAY Ireland See on map Links Website Opens in new window Total cost No data
