1. A computer-implemented problem checking system, comprising: an input component for receiving a math problem to be worked via a solving process; and a problem checker for monitoring the process and generating context-sensitive information as part of the solving process.
7. The system of claim 1 , further comprising a machine learning and reasoning component that employs a probabilistic and/or statistical-based analysis to prognose or infer an action to be automatically performed.