swMATH ID: 15082
Software Authors: Marco Costantini, Alexander Konovalov, Max Nicosia, Andrew Solomon
Description: GAP package OpenMath. This package provides an OpenMath phrasebook for GAP. This package allows GAP users to import and export mathematical objects encoded in OpenMath, for the purpose of exchanging them with other applications that are OpenMath enabled.
Homepage: http://www.gap-system.org/Packages/openmath.html
Dependencies: GAP
Related Software: Kenzo; HAP; GAP; SCSCP; fKenzo; ACL2
Cited in: 4 Publications

Citations by Year