• MMP/GEMS

  • 13篇参考文献[SW0584]
  • 可读的校样. 作为一个几何图形编辑器,MMP/GEMS是一种智能动态几何软件工具…用于输入和操作几何图表方便交互地通过结合这个想法…
  • 地理视野

  • 9篇参考文献[SW12328 ]
  • 几何的定理。陈述几何的定理及其定理校样用…构造和验证…用GeVIEW生成的可以集成为互动HTML文件中的动态图形使用…
  • 防霉M

  • 1篇参考文献[SW06369]
  • 完成一个几何的 证明. 学生可以向他们提出建议。证明每次拖拽…选择一个命题的理由。互动用灰姑娘实现的插图有助于跟随…
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • C-XSC 2

  • 120篇参考文献[SW0182]
  • 一个用于扩展科学计算的C++类库…
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • GCLC

  • 28篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化工具几何的
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言互动