Category:数学教育ソフトウェア

• 

  動的幾何学ソフトウエア

  
• 

  スーパーボーイ・アラン

  Super Boy Allan
  
• 

  ドンキーコングJR.の算数遊び

  Donkey Kong Jr. Math
  
• 

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

  
• 

  Lean (証明アシスタント)

  Lean (proof assistant)
  
• 

  Microsoft Math Solver

  
• 

  Wolfram Alpha

  WolframAlpha
  
• 

  暗算カードバトル メキメキモンスターズ

  
• 

  タシテン +たして10にする物語+

  Make 10: A Journey of Numbers
  
• 

  Microsoft Mathematics

  Microsoft Math Solver
  
• 

  けいさんゲーム

  Keisan Game
  
• 

  Mizar

  Mizar system
  
• 

  Coq

  Coq (software)
  
• 

  Desmos

  Desmos
  ▼-3 trends