OpenAxiom

swMATH9353MaRDI QIDQ21336FDOQ21336

Author name not available (Why is that?)

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
• Invariants for the FoCaL language
• FoCaL
• An automatic parallelization framework for OpenAxiom

This page was built for software: OpenAxiom