Similar to Microsoft_Math_Solver

Microsoft Math Solver
Microsoft Math Solver
Mizar
Mizar system
Mathematica
Wolfram Mathematica
WIRIS
WIRIS
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679

RegiStax
Registax
NASA World Wind
NASA WorldWindCoq
Rocq
Lean (証明アシスタント)
Lean (proof assistant)Wolfram Alpha
WolframAlpha
暗算カードバトル メキメキモンスターズ

グレコからの挑戦状!計算の城とオバケたち

けいさんゲーム
Keisan Game
スーパーボーイ・アラン
Super Boy Allan
タシテン +たして10にする物語+
Make 10: A Journey of Numbers
Desmos
Desmos動的幾何学ソフトウエア

ドンキーコングJR.の算数遊び
Donkey Kong Jr. Math