Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.
Conferences
- Overview
- Identity
- Additional Document Info
- View All