Building a Computer Algebra Environment by Composition of Collaborative Tools.
Norbert KajlerPublished in: DISCO (1992)
Keyphrases
- computer algebra
- collaborative environment
- collaborative learning environments
- software environment
- interaction analysis
- real time
- mobile robot
- collaborative learning
- theorem prover
- user friendly
- automated theorem provers
- neural network
- complex environments
- dynamic environments
- end users
- virtual world
- theorem proving
- virtual environment
- single user
- probability distribution
- collaborative learning activities
- expert systems