Integrating functional programming and symbolic computation

  1. Rubio García, J.J. 1
  1. 1 Universidad de Zaragoza
    info

    Universidad de Zaragoza

    Zaragoza, España

    ROR https://ror.org/012a91z28

Aldizkaria:
Mathematics and Computers in Simulation

ISSN: 0378-4754

Argitalpen urtea: 1996

Alea: 42

Zenbakia: 4-6

Orrialdeak: 467-473

Mota: Artikulua

DOI: 10.1016/S0378-4754(96)00022-5 SCOPUS: 2-s2.0-0030285295 GOOGLE SCHOLAR

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.