Get from what you know to what you want
Give it a mass and a velocity and ask for an energy. It searches a graph of physics formulas for a chain of substitutions that connects the two, and shows you every step of the algebra it used to get there.
It searches, it does not guess
The first thing that happens to your question is an exhaustive search over a graph of 65 closed-form physics relations, following the symbols each one produces into the symbols the next one consumes. When a path exists you get it exactly, with the value at every step, and nothing was invented to produce it.
When there is no path, it says so — and then it asks
Most tools of this kind quietly produce something anyway. This one tells you the search failed, and only then offers to ask a language model for a bridge. Whatever comes back is checked before you read it: both sides are reduced to base dimensions, and the relation is evaluated against the known formulas wherever they overlap. A proposal that fails either check is refused rather than shown.
Unverified means unverified
A proposal that passes every check that could run is marked verified. One that fails any of them is refused outright. Everything in between is labelled unverified, with the specific check that could not run named beside it. There is no fourth state where the tool hopes for the best.
Bring your own equations
Drop in a JSON file of your own relations and they join the same graph — the solver chains them with the built-in ones, the derivation shows them, and the dimensional check applies to them exactly as it does to ours. No account is needed to do that, or to do anything else on this page.
Questions
- Do I need an account?
- Not to search. The formula catalogue, the relationship graph, the a-to-b solver, symbolic derivation, dimensional checks and your own dropped-in formula pack all work signed out, because running them costs us arithmetic. An account is asked for at exactly three moments: asking the model for a bridge, saving a derivation, and saving a pack.
- How many formulas are there?
- 211, across 10 domains — mechanics, thermodynamics, electromagnetism, fluid dynamics, optics, waves, quantum, nuclear, relativity and acoustics. Every one of them has a page here, and every symbol in every one of them has a declared base dimension.
- Can I trust an AI-proposed relation?
- Not on its own, and the tool does not ask you to. It shows you which checks ran and which did not. A relation that agrees with the known formulas on every sample they could both answer is a much stronger claim than one nothing could be compared against, and the difference is on screen rather than buried.