A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (Q3637270): Difference between revisions

@@ Property / author @@
-Russell J. Bradford
@@ Property / author: Russell J. Bradford / rank @@
-Normal rank
@@ Property / author @@
-James H. Davenport
@@ Property / author: James H. Davenport / rank @@
-Normal rank
@@ Property / author @@
+Russell J. Bradford
@@ Property / author: Russell J. Bradford / rank @@
+Normal rank
@@ Property / author @@
+James H. Davenport
@@ Property / author: James H. Davenport / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Magma
@@ Property / describes a project that uses: Magma / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aplusix-editor
@@ Property / describes a project that uses: Aplusix-editor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AXIOM
@@ Property / describes a project that uses: AXIOM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aplusix
@@ Property / describes a project that uses: Aplusix / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02614-0_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1567405928
@@ Property / OpenAlex ID: W1567405928 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4660680
@@ Property / cites work: Q4660680 / rank @@
+Normal rank
@@ Property / cites work @@
+The Magma algebra system. I: The user language
@@ Property / cites work: The Magma algebra system. I: The user language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4657304
@@ Property / cites work: Q4657304 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality in computer algebra and beyond.
@@ Property / cites work: Equality in computer algebra and beyond. / rank @@
+Normal rank
@@ Property / cites work @@
+The freedom to extend OpenMath and its utility
@@ Property / cites work: The freedom to extend OpenMath and its utility / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302494
@@ Property / cites work: Q4302494 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Linear syntax for communicating elementary mathematics
+Normal rank
@@ Property / cites work @@
+Unit Knowledge Management
@@ Property / cites work: Unit Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank