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

DOI10.1007/978-3-642-02614-0_11MaRDI QIDQ3637270zbMATH OpenOpenAlexWikidataFDO

Authors C. J. Sangwin, Russell Bradford, James H. Davenport

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)

Recommendations

• Students' comparison of their trigonometric answers with the answers of a computer algebra system
• Equality in computer algebra and beyond.
• scientific article; zbMATH DE number 4115949
• Computer mathematics
• Linear syntax for communicating elementary mathematics

Cites work

• Data Type Specification: Parameterization and the Power of Specification Techniques
• Equality in computer algebra and beyond.
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• scientific article; zbMATH DE number 621810 (Why is no real title available?)
• scientific article; zbMATH DE number 2145000 (Why is no real title available?)
• scientific article; zbMATH DE number 2151213 (Why is no real title available?)
• Linear syntax for communicating elementary mathematics
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Some undecidable problems involving elementary functions of a real variable
• The freedom to extend OpenMath and its utility
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The Magma algebra system. I: The user language
• Unit Knowledge Management

Cited in

(4)

• Equality in computer algebra and beyond.
• Change of correctness under equivalent transformations of mathematical models
• Students' comparison of their trigonometric answers with the answers of a computer algebra system
• Terme, Gleichungen, Ungleichungen

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637270)