Category:数学教育ソフトウェア
Desmos
DesmosドンキーコングJR.の算数遊び
Donkey Kong Jr. MathMizar
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