Wyrm - Solve algebra by touch, built on an open-source soundness engine

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

Wyrmは、正確で条件付きで健全な記号代数エンジンを備えた、ジェスチャーベースの代数アプリです。ユーザーは項をドラッグして等号をまたいだり、タップで冪乗を展開したり、共通因子を引き出したりして、直感的に方程式を解くことができます。エンジンは書き換え規則のみで方程式を変換するため、すべての操作は数学的に健全です。除算や平方などの条件付き操作は、仮定として明示され、方程式とともに管理されます。TypeScriptで書かれ、依存関係がなく、ブラウザやNode.jsなどどこでも動作します。デモを試すか、iOS/Androidアプリをダウンロードできます。