OpenMath
From MaRDI portal
Cited in
(8)- fKenzo
- Kenzo
- HAP
- SCSCP
- Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP
- Computing the homology of groups: the geometric way.
- Symbolic computation software composability protocol and its implementations
- A system for computing and reasoning in algebraic topology
This page was built for software: OpenMath