Similar to 動的幾何学ソフトウエア
13
13 (number)19
19 (number)40
40 (number)50
50 (number)70
70 (number)1048576
Coq
Coq (software)Lean (証明アシスタント)
Lean (proof assistant)Microsoft Math Solver
Wolfram Alpha
WolframAlpha暗算カードバトル メキメキモンスターズ
グレコからの挑戦状!計算の城とオバケたち
けいさんゲーム
Keisan Gameスーパーボーイ・アラン
Super Boy Allanタシテン +たして10にする物語+
Make 10: A Journey of NumbersDesmos
Desmos▼-3 trendsドンキーコングJR.の算数遊び
Donkey Kong Jr. MathMicrosoft Mathematics
Microsoft Math SolverMizar
Mizar systemMathematica
Wolfram MathematicaWIRIS
WIRISTemplate:Software-stub
Template:Software-stub1by1
3DACE
3DCGツクール
3DXML
3DXML99Basic
A-0 System
A-0 System