Check your solutions step-by-step with 4f Checker

4f Checker allows you to check if your derivation is mathematically correct. The checker formulates each step in the derivation as a mathematical theorem, and sends the theorem to an automatic theorem prover that runs in the cloud. The derivation is correct, if each step in the derivation is proved correct. The checker warns for each derivation step that it was not able to prove correct.

4f Checker is available both online and in the 4f Studio desktop application. The automatic checking function can be used everywhere where the eMath editor is used: in textbooks when solving assignments, in notebooks and in course books. The checker requires an active internet connection. Check our Products & Pricing page for the best way for you to use the checker.

Areas of expertise

Polynomials  (equations, inequalities, functions)
Rational expressions (arithmetic and polynomial rational expressions)
Expressions with radicals (powers, square roots, fractional powers)
Logarithms
Exponents
First order logic
Basic trigonometry

 

The automatic checker is reasonably good in proving derivation steps in the areas of mathematics listed above. This means that it can be used in Middle School, High School and College& University Mathematics.

4f Checker uses a number of different automatic theorem proving systems in parallel, to try to prove that a step is correct. These systems all have their special expertise, being good at proving theorems in some areas of mathematics, but may be quite poor for other areas. Hence, the efficiency of the checker depends on the area of mathematics that it is checking, and on the automatic theorem proving systems that are available for this area.

Examples of using the checking function

Derivation with an Error

The derivation below contains an error, the second derivation step is not correct. The checker shows a "!" as a warning sign for the incorrect step, and a check mark for the correct ones.

Corrected Derivation

Here we have corrected the erroneous step. The checker now marks each step as correct, so the whole derivation is correct.
 

Chips by lamdogjunkie, www.flickr.com. CC BY 2.0

Learn how to use the automatic checker

How to Use the Checker

You check a derivation by choosing  "check" in the checker menu. This will start the process of checking. The checker will return a mark for each step in the derivation, in the right hand side column. The checker may run into different situations when checking the step:

a) The checker may report that it does not understand the derivation step. There could be a syntax error in the step,  or  you may be using mathematical notation that the checker does not know. You then need to rewrite the step.

b) The checker may report that the step is correct (green check mark). Then you are fine.

c) The checker may report that it was not able to prove the step (red exclamation mark). There could be different reasons for this:

The checker is not able to prove the step because it is incorrect. You need to fix the error.

The checker runs out of time trying to find a proof of it. If you still believe that the step is correct, you could try to help the checker by splitting the step up into smaller steps.

The checker does not know enough about the underlying mathematics to prove the step. Try to add assumptions, facts, or definitions that could make it easier for the checker to prove the step.

The checker menu "remove marks" will delete all checker marks, “help” shows the 4f Checker tutorial, and “settings” allows you to change some default settings (in particular, whether to use comma or period as decimal separator).

The checker is intended only as a help in checking your derivation. In the end, you are yourself responsible for checking that the derivation is correct. The checker gives you hints for how to find errors and create a correct solution.