Integrating functional programming and symbolic computation
-
1
Universidad de Zaragoza
info
ISSN: 0378-4754
Argitalpen urtea: 1996
Alea: 42
Zenbakia: 4-6
Orrialdeak: 467-473
Mota: Artikulua
Beste argitalpen batzuk: Mathematics and Computers in Simulation
Laburpena
Functional programming and symbolic computation provide software for explicit calculations in algebraic topology. We present here one such application to the design of algorithms for computations in the homology of a central extension of groups.