• BVPh公司

  • 引用了173篇文章[sw06575]
  • 应用型科研人员和研究生数学,物理,非线性力学金融与工程。。。
  • 科学实验室

  • 引用166篇文章[sw00834]
  • 通常的工程和科学应用包括数学的操作和数据分析。。。混合动力系统建模与模拟器:建模机械的系统,液压回路,控制系统。。。
  • 数学方案

  • 引用8篇文章[sw15109]
  • 开发新方法机械化 数学其中计算机代数和计算机定理证明。。。设计和实现机械化 数学基于形式框架的系统。远程。。。建造,在机械化 数学系统,交互式数学提供。。。
  • OMRS公司

  • 在39篇文章中引用[SW039号文件]
  • 数学的基于KQML(知识查询和操作语言)和OMRS(开放式)的服务机械化推理。。。通信协议的交互级别数学的因此,KQML可以是相对通用的服务。。。
  • 莫代利卡

  • 引用87篇文章[sw04352]
  • 机器人、汽车和航空航天应用机械的电气,液压控制和状态机子系统,过程。。。电力。Modelica中的模型是数学上用微分方程、代数方程和离散方程描述。。。
  • 回收

  • 引用5篇文章[sw21760]
  • 在维护的同时实现卓越的高性能数学的清晰和灵活。并行化方案意味着。。。数值计算组件与高级体系结构机制. 这个数学的结构被保存和开发。。。
  • 希特科夫斯基

  • 引用25篇文章[sw05205]
  • 数学的模型和数据拟合计算通过药剂学的案例研究加以说明,机械的,电气。。。
  • psclink公司

  • 在10篇文章中引用[sw06463]
  • 非线性动力学与天体力学. 这样的大小数学的对象进行操作。。。
  • 虚拟文本

  • 引用5篇文章[sw20981]
  • 可视化工具数学的表达式树。数学的表达式可以表示为包含。。。树是重要的机制用于存储和处理数学的还有表情。。。
  • 区域设置

  • 引用了35篇文章[sw12448]
  • Locales:一个模块系统数学的理论。语言环境是管理理论的一个模块系统。。。把它与更常见的结构联系起来机制编程语言和验证程序,区域设置。。。
  • 天王星

  • 1条引用[sw22345]
  • 代码由明确定义的机械的-数学的物理模型可以很容易地。。。
  • 模型

  • 引用3篇文章[sw10255]
  • 从物理学到数学正在经历机械化学,统计学,代数,几何等等。。。
  • 克索尔夫

  • 引用32篇文章[sw06806]
  • 现在是研究微观量子的必要条件机械的分子、固体和其他纳米尺度的性质。。。使研究人员在计算和应用数学为了研究现有算法的收敛性。。。
  • 特里克

  • 引用46篇文章[sw02165]
  • 单元公式与传统的笛卡尔公式不同力学以及以前采用的物理集总程序。。。通过适当的几何学、三角学和工程学的形式化数学的关系,它只涉及精确积分。。。
  • 电池

  • 引用2篇文章[sw24132号]
  • 敏感。这里我们展示了机械的数学的这些问题背后的因素。。。
  • FDLIB公司

  • 在14篇文章中引用[sw00270]
  • 流体领域出版的书籍力学以及科学计算-边界积分和奇异性。。。线性粘性流。剑桥应用教材数学. 剑桥等:剑桥大学出版社。。。介绍了流体的基本知识力学以及计算流体力学。然而,这。。。
  • PSPC公司

  • 在10篇文章中引用[sw06464]
  • 天空的力学以及一般的非线性动力学。数学的结构。。。
  • 曼波

  • 1条引用[sw07685]
  • 复杂系统的建模与可视化机械的系统及其运动。这种方法应该产生很多。。。更一般的技能数学的和物理模型机械的系统,不仅仅是问题。。。任意多体动力学机制;制定数学的一般运动的描述。。。实现复杂多体的高级计算机制. 基于MAMBO的工具箱,这个。。。
  • 机械化语义库

  • 引用5篇文章[sw13123]
  • 机械化语义库是数学的有助于开发语义模型的技术。。。机械的定理证明者;目前图书馆。。。