Category:数学教育ソフトウェア
Desmos
Desmos
ドンキーコングJR.の算数遊び
Donkey Kong Jr. Math
Mizar
Mizar systemCoq
Rocq動的幾何学ソフトウエア
スーパーボーイ・アラン
Super Boy Allan
グレコからの挑戦状!計算の城とオバケたち
Lean (証明アシスタント)
Lean (proof assistant)
Wolfram Alpha
WolframAlpha
暗算カードバトル メキメキモンスターズ
けいさんゲーム
Keisan Game
タシテン +たして10にする物語+
Make 10: A Journey of NumbersMicrosoft Math Solver
Microsoft Math Solver
