You ask, any way you like.
Type the problem, paste a screenshot, snap a photo of your textbook, or upload a PDF. We read all of them.
Built around a simple promise: show the reasoning and the verification status, including when a result cannot be checked automatically.
Type the problem, paste a screenshot, snap a photo of your textbook, or upload a PDF. We read all of them.
Algebra goes to the symbolic CAS. Calculus routes through the analyst. Word problems open a reasoner. You don't pick — we do.
When a symbolic check applies, a separate engine re-derives the result. The badge says verified, unverified, unverifiable, or mismatch, so uncertainty stays visible.
Ostrol combines a step-by-step explanation with a separate symbolic checker when the problem can be verified automatically. The verification badge reports verified, unverified, unverifiable, or mismatch, so it never hides uncertainty behind a confident answer.
It shows the working. Every solve walks through the steps with the reasoning visible. Students who read the solution build intuition. Students who copy answers see no improvement. We never optimize for shortcuts.
Arithmetic through multivariable calculus, plus linear algebra, statistics, probability, discrete math, and the math you see in early physics and economics courses. Long exam questions with several parts are supported.
English and French. Math notation follows the convention of the language you choose.
Yes. You can type, paste, photograph a problem from a phone, tablet, or laptop. The solution renders the same way on every screen size.
Yes. Your problems stay in your private library. We do not sell them. We do not share them. We never train models on student work. School admins can turn off public sharing for the whole class.
Yes. One click in billing settings cancels the plan. You keep access through the end of the period you already paid for.
Yes. Talk to sales and we will put together a quote within two business days.