Can I Bring My Calculator to the Exam? Some Reflections on the Abstraction Level of Computer Algebra Systems.

Eugenio Roanes-Lozano

Published in: Math. Comput. Sci. (2023)

Keyphrases

abstraction levels
computer algebra systems
computer algebra
levels of abstraction
theorem prover
theorem proving
data mining
artificial intelligence