OpenAxiom

MaRDI QIDQ21336swMATHFDO

Official website http://www.open-axiom.org/

Cited in

(4)

• Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
• FoCaL
• Invariants for the FoCaL language
• An automatic parallelization framework for OpenAxiom

This page was built for software: OpenAxiom