OpenAxiom

swMATH9353MaRDI QIDQ21336FDOQ21336

Author name not available (Why is that?)

Cited In (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