University mathematics workbench
MathLab
An interactive workspace for mathematical exploration and practice.
In beta — still being developed
What it does
MathLab is a local-first mathematical workbench for university mathematics built around persistent mathematical objects rather than disconnected calculator pages.
The project combines symbolic and numerical mathematics, visualization, verification, structured practice, and explicit reasoning boundaries in one browser workspace. Its release candidate already spans algebra through ODEs, with proof checking and curriculum-oriented practice layered on top of the core workbench.
Inside the project
Persistent mathematical objects
Define expressions, functions, vectors, matrices, datasets, graphs, recurrences, and other mathematical objects that remain available across the workspace.
Broad university mathematics
Work across algebra, calculus, linear algebra, analysis, probability, statistics, discrete mathematics, numerical methods, and ordinary differential equations.
Visual and exact reasoning
Combine exact symbolic results, derivations, graphs, numerical diagnostics, and explicit unsupported-case boundaries instead of collapsing everything into calculator output.
Proof and verification lab
Check supported algebraic transformations, solution sets, row operations, propositional claims, and assumptions with explicit verified or not-proven states.
Practice and review
Use structured courses, generated and authored exercises, adaptive review, exam sessions, and persistent mastery data within the same mathematical environment.
Under the hood
- Platforms
- desktop, tablet, mobile
- Controls
- keyboard, mouse, touch
- Project status
- beta
- Implementation
- thiepn/mathlab ↗
Read the source and revision history for implementation details and current development.
Another direction to explore.
Selected work →
Unreached
Explore peoples, languages and access to Scripture in a world mission atlas.
Beta — still being developed
THIEPN Library
Publish, browse, search, and read books and research editions through a static-first multi-work library with native web reading and verified releases.