Engaging mathematical reasoning exercises.

Joseph E. Hollingsworth Joan Krone Jason O. Hallstrom Murali Sitaraman Bruce W. Weide

Published in: SIGCSE (2013)

Keyphrases

general knowledge
knowledge base
mathematical proofs
mathematical expressions
reasoning tasks
computational properties
reasoning systems
model based reasoning
human reasoning
databases
database systems
qualitative reasoning
reasoning process
reasoning mechanisms
deductive reasoning
computer algebra systems