Integrating functional programming and symbolic computation.

DOI10.1016/S0378-4754(96)00022-5MaRDI QIDQ1565830zbMATH OpenFDO

Authors Julio Rubio

Publication date 27 May 2003

Published in Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0378-4754(96)00022-5

zbMATH Keywords

central extensioncomputer algebraeffective homologyfunctional programminghomology of groupssymbolic computation

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to algebraic topology (55-04) Symbolic computation and algebraic computation (68W30)

Recommendations

• Homological algebra programming.
• Constructive algebraic topology
• An application of computer algebra to algebraic topology
• scientific article; zbMATH DE number 17990
• A purely functional computer algebra system embedded in Haskell

Cites work

• Cohomology of Metacyclic Groups
• Cohomology of nilpotent groups of class 2
• scientific article; zbMATH DE number 421659 (Why is no real title available?)
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 17990 (Why is no real title available?)
• scientific article; zbMATH DE number 3264757 (Why is no real title available?)
• On the groups \(H(\Pi,n)\). I
• The computability problem in algebraic topology
• The Integral Cohomology Rings of Groups of Order p 3
• The integral cohomology rings of some p-groups

Cited in

(1)

• Homological algebra programming.

This page was built for publication: Integrating functional programming and symbolic computation.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1565830)