Step-through, CAS-verified derivations — one corner of AlgeBench, an AI-guided playground for doing and understanding math. Ask the AI about any term, or open the full app →
Submit your derivation under a new unique name. It's saved as a package — the proof, your prompt, and any attached documentation — and will be added to Browse after the review process is complete. Until then it's viewable only via its direct link.
🎉 Thank you! Your derivation was submitted for review.
It will appear publicly in Browse once approved — nothing is public yet. In the meantime you can view and share it via its direct link:
Save this edit key — it's the only way to edit your submission while it's in review, it's shown only now, and it rotates on every update: