Making mathematical reasoning fun: tool-assisted, collaborative techniques.
Jason O. HallstromJoe HollingsworthJoan KroneMurali SitaramanPublished in: ACM Southeast Regional Conference (2012)
Keyphrases
- collaborative learning
- mathematical proofs
- computer games
- knowledge base
- geographically dispersed
- collaborative environment
- automated reasoning
- reasoning process
- graphical representation
- rule based reasoning
- scientific discovery
- reasoning tasks
- database
- probabilistic reasoning
- user friendly
- domain knowledge
- information systems