Collaborative Use of KeTCindy and Free Computer Algebra Systems.

Setsuo Takato Alasdair McAndrew José A. Vallejo Masataka Kaneko

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

Keyphrases

computer algebra systems
computer algebra
theorem prover
collaborative learning
theorem proving
multi user
database
knowledge sharing
neural network
real world
cooperative
user interface
computer supported collaborative learning
collaborative systems