Login / Signup
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).
Jason O. Hallstrom
Joe Hollingsworth
Joan Krone
Murali Sitaraman
Published in:
SIGCSE (2012)
Keyphrases
</>
graphical representation
knowledge base
user friendly
reasoning systems
low level
software tools
mathematical proofs
database
knowledge representation
higher level
default reasoning
analogical reasoning
mathematical expressions
geographically dispersed
web based collaborative