• GEX

  • 33篇参考文献[SW09961]
  • 动态软件图表 绘图自动化的几何定理证明与发现。作为一个动态的…学习各种数学概念。作为一个自动化的推理软件,我们可以建立动态逻辑…角度法。通过这些方法,用户可以自动化的证明几何定理,发现新的性质…动态视觉模型:几何变换,轨迹生成,图表函数和轨迹生成…
  • 自适应调节剂

  • 1篇参考文献[SW0991]
  • 图解法应用程序,例如:绘图工具,自动化的文件和图表布局,智能演示软件,图形…
  • R2R

  • 2篇参考文献[SW17140]
  • 分子。RNA结构图表通常是通用的。绘图像Adobe这样的程序…插图器,或自动化的或与RNA相关的交互式程序。不幸的是,应用程序的使用…应用程序设计用于绘图单RNA分子,不一致图表. 结果:我们创造了…
  • 格罗弗

  • 2篇参考文献[ SW099 68 ]
  • 自动化的推理系统,称为/Gover,我们试图发现如何图表可以传达…图表作为证明策略。这个图表与数学家们的相似
  • GCLC

  • 29篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • 勒达

  • 258篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • MATLAB

  • 11360篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

  • 7483篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • Perl

  • 254篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • CPLEX

  • 2479篇参考文献[SW04082]
  • IBM®ILOG®CPLEX®提供C、C++、Java、.NET…
  • 地脑

  • 318篇参考文献[SW04203]
  • 地理网络是一个自由的、多平台的动态数学模型。