OpenAxiom
From MaRDI portal
Software:21336
No author found.
Related Items (3)
Invariants for the FoCaL language ⋮ An automatic parallelization framework for OpenAxiom ⋮ Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
This page was built for software: OpenAxiom
