4f Studio

Structured Derivations

Present your mathematical derivations in a way that shows the underlying logical structure and mathematical justification. Read more...

4f Notes Online

An online notebook page. Paricularly well suited for editing mathematical content. You can create text with standard math notation, function graphs, geometric figures, structured derivations, etc. Save the page on the server and share it with others. Derivations can be checked with 4f Checker. Read more...

4f Checker

Let the computer check your calculations, derivations and proofs. Requires 4f Studio or 4f Notes Online. The checker goes through your derivation step by step and points out the weak spots and potential problems in your mathematical arguments. Try it by registering as a 4f Notes Online user, you will get 20 checks for free. Read more ...

4f Studio

A complete interactive learning environment with digital notebooks, digital textbooks, and digital courses. Teachers can create their own course material and lecture courses in the environment. Work offline, go online when needed. Read more...

eMath Textbooks

A digital and interactive textbook series for high school. Covers all standard mathematics courses. Mathematical arguments made easy to follow by using structured derivations and step-by-step proof presentations. Use in 4f Studio or download as separate tablet app. Read more ...

Structured Derivations

A new method for presenting mathematical arguments in an easily understandable way. Makes it easier for students to follow and understand teachers solutions. Can use computers to check the correctness of a structured derivation. Structured derivations can be used for all kinds of mathematical arguments: computatioms, equation solving, simplifications and theorem proving. Works for all levels of mathematics. Read more ....