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