Pages that link to "Item:Q1404423"
From MaRDI portal
The following pages link to Equality in computer algebra and beyond. (Q1404423):
Displayed 4 items.
- Hidden verification for computational mathematics (Q2456559) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- Effective Set Membership in Computer Algebra and Beyond (Q5505506) (← links)