Mathesis — exact mathematics, in your browser
Mathesis is a free, client-side computational notebook in the style of
Mathematica. Type an expression in Wolfram-style syntax and get an
exact answer, computed on your own machine — no server.
- Exact arbitrary-precision integers and rationals (
2^128, 1/3 + 1/3 + 1/3).
- Symbolic constants and irrationals kept exact (
Pi, Sqrt[2]), with decimals alongside.
- Number theory, combinatorics, linear algebra, and elliptic curves.
- Equation solving and logic over an SMT engine; 2D and 3D plotting.
- Powered by pure-Rust engines (puremp, z3rs) compiled to WebAssembly.
Please enable JavaScript to use the notebook.