Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems

DOI10.1007/s11786-022-00551-6OpenAlexW4312106447MaRDI QIDQ6157643

Eugenio Roanes-Lozano

Publication date: 22 June 2023

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-022-00551-6

zbMATH Keywords

computer algebraassessmentabstraction levelmathematics teaching with technology

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15) Programming languages (educational aspects) (97P40)

Cites Work

• Automated theorem proving in GeoGebra: current achievements
• A bridge between dynamic geometry and computer algebra
• Dimensional analysis with \texttt{DERIVE}
• Automatic discovery of theorems in elementary geometry
• SFOPDES: a stepwise first order partial differential equations solver with a computer algebra system
• Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item