MathCheck

• How to type symbols and commands (opens to a new tab)
• Shortened instructions (opens to a new tab)
• Information on MathCheck

verbose_off

Please write a formula chain into the box, then click or .

You can find different kinds of exercises utilizing MathCheck behind the following links. They also serve as practice on using MathCheck.

• An introduction to MathCheck (in Finnish)
• Simplification problems
• Expression tree problems
• Differentiation problems
• Equation solving problems
• Hyperbolic function manipulation
• An exercise in propositional logic
• Array predicate problems
• Problem modes in MathCheck (in Finnish)