Collaborative computer algebra systems.

Manfred Minimair

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

Keyphrases

computer algebra systems
computer algebra
collaborative learning
neural network
artificial intelligence
theorem prover
theorem proving
multi user
geographically dispersed
real time
real world
information retrieval
knowledge base
database systems
cooperative
search algorithm