4f Math Support
4f Studio provides a powerful collection of tools for digital mathematics education. The rich text editor in 4f Notebook uses traditional mathematical notation for formulas, so mathematical text can be written and edited in a simple and straightforward way. You can add a number of different mathematical content elements to a notebook page, like function graphs, geometric figures, displayed formulas, calculations in traditional format as well as in structured derivation format, sign charts and general mathematical tables. The structured derivations editor has a plugin for automatic checking the correctness of the derivation.
There is a special element for calculating expressions and and solving equations. The calculation has the traditional layout, with a left formula, relation symbol (usually equality or equivalence), and right formula, in a sequence of successive lines, all lined up under the relation symbol. The rightmost column contains a justification for the step.
Structured Derivations Element
A structured derivations element is very useful for creating both simple and more complex mathematical arguments, like calculations, derivations, proofs and so on. Mathematical reasoning is presented in a logically structured and easily readable form. The editor helps you with structuring the derivation, clearly identifying the task to be solved, the assumptions, the observations, and definitions, so that you can concentrate on the mathematical argument itself. The editor allows you complete freedom in building a derivation, adding, editing and deleting derivation steps at any desired place, while still preserving the overall syntax of the derivation. The automatic checker can be used to check that a structured derivation is correct. Find out more about structured derivations here.
You can draw geometric figures with the geometric editor. This allows you to show the geometric constructions that are used in your argument. The geometric constructions are live, in the sense that you can move selected points around on the canvas, to change the shape of the geometric figures. This is useful, e.g., for showing that some properties are not dependent on the specific choice of shapes for the figures.