A call to build a publicly accessible library of lecture recordings in computer algebra.

Michael B. Monagan

Published in: ACM Commun. Comput. Algebra (2021)

Keyphrases

computer algebra
publicly accessible
video recordings
theorem prover
computer algebra systems
training data
neural network
data mining
genetic algorithm
spontaneous speech
automated theorem provers