Pages that link to "Item:Q1404423"
From MaRDI portal
The following pages link to Equality in computer algebra and beyond. (Q1404423):
Displaying 9 items.
- Problem corner: Reasoning about equality (Q1820598) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Terme, Gleichungen, Ungleichungen (Q2936472) (← links)
- Discovering affine equalities using random interpretation (Q2942914) (← links)
- VARIETIES OF EQUALITY STRUCTURES (Q3043518) (← links)
- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270) (← links)
- (Q4712063) (← 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)