Integrating functional programming and symbolic computation.
From MaRDI portal
Publication:1565830
DOI10.1016/S0378-4754(96)00022-5zbMath1037.55501MaRDI QIDQ1565830
Publication date: 27 May 2003
Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)
symbolic computationcomputer algebrafunctional programmingcentral extensioneffective homologyhomology of groups
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04)
Cites Work