Similar to Microsoft_Math_Solver
Microsoft Math Solver
Microsoft Math SolverMizar
Mizar systemMathematica
Wolfram MathematicaWIRIS
WIRIS0
0▲1 trends1
1▼-1 trends2
23
34
45
56
67
78
89
912345679
RegiStax
RegistaxNASA World Wind
NASA WorldWindCoq
RocqLean (証明アシスタント)
Lean (proof assistant)Wolfram Alpha
WolframAlpha暗算カードバトル メキメキモンスターズ
グレコからの挑戦状!計算の城とオバケたち
けいさんゲーム
Keisan Gameスーパーボーイ・アラン
Super Boy Allanタシテン +たして10にする物語+
Make 10: A Journey of NumbersDesmos
Desmos動的幾何学ソフトウエア
ドンキーコングJR.の算数遊び
Donkey Kong Jr. Math