Maths tools that show the working.

Exact work, written out line by line. Everything runs in your browser, and each tool can export its full solution in $\LaTeX$ for your notetaking.

Available now

Seven tools are live: optimisation, linear algebra, complex numbers, logic, graphs, floating point, and Boolean algebra. They share the trace and export code used by the ones that follow.

Live · Optimisation

Simplex & Big-M

Set up a linear program and move through its tableaus. The arithmetic stays exact; Big-M uses a symbolic penalty. The worked solution exports as a .tex file.

Live · Linear algebra

Matrix toolkit

Row-reduce a matrix and inspect each operation. Determinant, inverse, nullspace, and linear systems use the same exact arithmetic.

Live · Complex numbers

Complex numbers & Argand

Add, subtract, multiply, or divide complex numbers. Convert to polar form, use de Moivre for powers, find all roots, and see every result on an Argand diagram.

Live · Logic

Truth tables

Parse a propositional formula, evaluate every assignment and classify the result as a tautology, contradiction or contingent. The table exports as a .tex file.

Live · Networks

Graphs & networks

Edit a weighted graph and run Dijkstra, Floyd–Warshall, Kruskal or Prim. Distance updates, accepted edges and rejected cycles are recorded step by step.

Live · Number systems

Floating point

Convert between binary, octal, denary and hexadecimal, normalise binary values, and encode or decode custom and IEEE 754 formats.

Live · Boolean

Boolean algebra

Build truth tables, canonical SOP and POS forms, prime implicants and a minimal sum of products for a Boolean statement.

Next in the queue

These will be small standalone tools. The exact algorithms come first; symbolic and visual work follows once the shared engine is settled.

Planned · Networks

Critical path & route inspection

Activity networks with earliest and latest times, floats and the critical path, plus route inspection with repeated edges.

About this build

The interactive parts are Rust compiled to WebAssembly, and the pages are static HTML. Exact rational arithmetic keeps tableaus consistent with hand calculations; Big-M uses a symbolic M.