A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

DOI10.1007/978-3-642-02614-0_11zbMath1247.97004OpenAlexW1567405928WikidataQ59590608 ScholiaQ59590608MaRDI QIDQ3637270

Christopher J. Sangwin, James H. Davenport, Russell J. Bradford

Publication date: 9 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_11

zbMATH Keywords

computer aided assessment

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Student assessment, achievement control, and rating (aspects of mathematics education) (97D60) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Uses Software

• AXIOM
• Magma
• Maple
• Aplusix-editor
• Aplusix

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The freedom to extend OpenMath and its utility
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• The Magma algebra system. I: The user language
• Equality in computer algebra and beyond.
• Linear syntax for communicating elementary mathematics
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Unit Knowledge Management
• Some undecidable problems involving elementary functions of a real variable

This page was built for publication: A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy