Structure, strategy, and evidence behind a mathematical result.
A Ruby computer-algebra workbench with an inspectable transformation pipeline. Symbolic derivation, numerical checks, and exact arithmetic provide different kinds of evidence; read the method and verdict beside each result.
Click an example to load it, then run any operation from the ƒ(x) button (bottom-right). The group labels are only suggestions — every example works with every operation. Groups are collapsible.