Tag Archives: Formal verification

January 4, 2010, 7:00 am

Wolfram|Alpha as a self-verification tool

Last week, I wrote about structuring class time to get students to self-verify their work. This means using tools, experiences, other people, and their own intelligence to gauge the validity of a solution or answer without uncritical reference an external authority — and being deliberate about it while teaching, resisting the urge to answer the many “Is this right?” questions that students will ask.

Among the many tools available to students for this purpose is Wolfram|Alpha, which has been blogged about extensively. (See also my YouTube video, “Wolfram|Alpha for Calculus Students”.) W|A’s ability to accept natural-language queries for calculations and other information and produce multiple representations of all information it has that is related to the query — and the fact that it’s free and readily accessible on the web — makes it perhaps the most powerful self-verification tool…

Read More