Loading ATMAI
Wolfbone
A research project for exploring and constructing mathematics through connected representations. Follow an idea, inspect its relationships, and build something you can reason about.
In development
A diagram can reveal a relationship. A table can make every case explicit. An equation can express a pattern compactly. Wolfbone asks how these ways of thinking can stay connected as you explore and construct mathematics.
A change of view
Here, a function assigns each input to one output. Change the view to inspect the same mapping as a diagram or a table. The representation changes; the assignments stay the same.
1 maps to a. 2 maps to b. 3 maps to a.
The first workspace
Move through a library of mathematical ideas with original explanations, named relationships, and source references. A searchable index of mathlib declarations connects the library to formal mathematical literature.
Create labelled finite collections, define a function by assigning each input an output, and compose compatible functions. Start with objects small enough to inspect in full.
Compare finite functions input by input. When they differ, inspect a particular disagreement. Move between table and diagram, and keep your work through browser storage and file export.
The current local workspace brings the mathematics library and editable finite constructions together. We are developing Wolfbone as an Atmai-maintained project, with an MIT-licensed public release in preparation.
The first mathematical checks concern finite mappings that can be evaluated directly. Formal proof checking and general translation between mathematical systems remain future work. The mathlib connection is a source index, not a connected proof engine.
We would like to hear from mathematicians, educators, researchers, and people who think through making. Tell us which ideas you want to explore, and what your current tools make difficult.
Start a conversationExplore Atmai research