Linear syntax for communicating elementary mathematics

DOI10.1016/J.JSC.2007.07.002MaRDI QIDQ2470063zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 13 February 2008

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2007.07.002

zbMATH Keywords

mathematics educationsyntax for elementary mathematics

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Recommendations

• A syntax for linear logic
• scientific article; zbMATH DE number 845924
• Basic language of mathematics
• scientific article; zbMATH DE number 1665446
• Mathematical structures in language
• scientific article; zbMATH DE number 1234411
• scientific article; zbMATH DE number 786485
• A language for multiplicative-additive linear logic

Cites work

• scientific article; zbMATH DE number 1297631 (Why is no real title available?)
• scientific article; zbMATH DE number 1827103 (Why is no real title available?)
• From Boolean algebra to unified algebra

Cited in

(7)

• Neglected critical issues of effective CAS utilization
• scientific article; zbMATH DE number 1424461 (Why is no real title available?)
• Evaluation of a predictive algorithm for converting linear strings to mathematical formulae for an input method
• A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
• Students' comparison of their trigonometric answers with the answers of a computer algebra system
• Computer aided assessment of mathematics
• Linear input methods for mathematical formula

This page was built for publication: Linear syntax for communicating elementary mathematics

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