• 几何画板

  • 引用224篇[sw04858]
  • 分数线、分数线和几何的模式。中学生可以建立他们的。。。学生可以使用画板建造和改造几何的形状和功能从线性。。。
  • 地球物理学

  • 引用24篇文章[sw06216]
  • 欧几里得建设性的geometry GeoThms是一个基于web的探索框架几何学整合了。。。provers(ATP)和几何学 结构,图表和证明。GeoThms用户。。。不断增长的系统几何学 结构并得到正式证明几何学定理。我们相信。。。
  • 雷德布基特

  • 引用151篇文章[sw12977]
  • 代数和几何的结构。更具体地说,作者讨论了建造准确。。。
  • rgl公司

  • 引用了50篇文章[sw10017]
  • 以及建造代表几何的对象(cube3d(),等等)。输出。。。
  • 参考12篇文章[sw02276]
  • 过滤技术几何的 结构. 我们展示的实验-部分使用。。。在处理更复杂的内存时消耗几何的计算。。。
  • 博特玛

  • 引用9篇文章[sw09243]
  • 一类的自动证明建设性的 几何的不平等。一个自动不等式证明算法。。。
  • 网络发现

  • 引用8篇文章[sw10153]
  • 几何发现。用户定义的几何的 建设上载到Java Servlet服务器。。。Mathematica,把发现的关于建设. 网络发现可以有效地应用于数学。。。连杆机构设计、测试与计算机辅助几何的设计。系统可以测试。。。
  • WinGCLC公司

  • 引用5篇文章[sw08574]
  • 1996-2009年1月前)(摘自《几何学》结构->乳胶转换器”)是一个可视化的工具。。。易于使用的支持几何学 结构,等距变换,圆锥曲线,参数曲线,流量控制。。。
  • Calabi Yau数据库

  • 引用25篇文章[sw24665]
  • Calabi Yau三倍于建设在所有473800776个自反多面体中。。。拓扑和几何的关于邱嘉碧三倍使用复曲面的资料建设,我们提供。。。
  • 几何构造器

  • 引用2篇文章[sw09042]
  • 使用几何的 施工人员(GC)软件。我们做了一个案例研究。。。操纵领域,建设性的和关系,这表明几何的思考触摸屏的模式。。。
  • GEOMPACK公司

  • 在10篇文章中引用[sw00339]
  • 网格生成和几何的它包含用于建造二维和三维。。。建造从一个视点看一个简单多边形的可见性多边形几何的算法。。。
  • 辛迪脚本

  • 引用3篇文章[sw17508]
  • 允许与几何的 结构或者是灰姑娘创造的物理模拟。尽管如此。。。
  • 贝塔斯普

  • 引用3篇文章[sw08772]
  • β络合物是一种衍生物几何的 建造在沃罗诺图上。把一个更高的。。。
  • 红豆

  • 参考12篇文章[sw08776号]
  • 基于几何的代数约化方法:无环子空间建设约化和初等归纳法。。。
  • 基格

  • 引用2篇文章【sw09822】
  • 探索计划几何的 结构. 这是为了更好地替代这种免费的。。。
  • 闪络

  • 引用2篇文章[sw21511]
  • 用正则表达式扩展的几何的 构造. 交互式用户界面。。。
  • 皮吉奥

  • 1条引用[sw09862]
  • 动态创建框架几何的 结构-即。结构体现了明确和持久的。。。虚拟、动态的构建块几何的 结构. 焦点不在欧几里得几何学。。。
  • 阿戈克利普

  • 参考第11条[sw07192]
  • 制定几何的第二,它利用建设性的微积分,第三。。。探索层次结构中的冗余公理几何的语句和对称的特殊处理。。。
  • DynBCN公司

  • 1条引用[sw12476]
  • dynBCN公司建设性的 几何的基于约束的二维动态几何系统。dynBCN是一个实验。。。建设性的 几何的研究人员开发的基于约束的二维动态几何系统几何的...