• BVPH

  • 163篇参考文献[ SW065 75 ]
  • 应用型研究生与研究生数学物理,非线性机械金融与工程…
  • 斯卡拉布

  • 163篇参考文献[SW0834 ]
  • 通常的工程和科学应用包括数学的操作和数据分析…混合动态系统建模与仿真器:建模机械系统,液压回路,控制系统…
  • 数学方案

  • 8篇参考文献[SW15109]
  • 开辟一条新途径机械化的 数学其中计算机代数和计算机定理证明…设计与实现机械化的 数学基于形式化框架的系统。远程…在上面建造机械化的 数学交互系统数学提供…的实验室
  • 奥姆斯

  • 39篇参考文献[SW03359]
  • 数学的基于KQML(知识查询和操作语言)和OMRS(开放式服务)的服务机械化的推理。。。通信协议的交互级数学的服务可以是相对通用的(因此KQML…
  • 莫迪卡

  • 84篇参考文献[SW04352]
  • 机器人、汽车和航空航天应用机械电气、液压控制和状态机子系统、过程…电力。Modelica的模特儿们数学上的由微分方程、代数方程和离散方程描述…
  • PSPRUNK

  • 10篇参考文献[SW064 63]
  • 非线性动力学与天体机械. 这样的大小数学的物体会操纵它们…
  • 雷夫夫姆

  • 3篇参考文献[SW21760]
  • 保持卓越的高性能数学的清晰度和灵活性。并行化方案表示…数值计算组件与高级体系结构机制. 这个数学的结构被保存和开发…
  • VMSET

  • 5篇参考文献[SW20981]
  • 可视化工具数学的表达式树。数学的表达式可以表示为树组成…树木是重要的机制用于存储和处理数学的表达式以及…
  • 超铀

  • 1篇参考文献[ SW223 45 ]
  • 代码由明确定义机械-数学的物理模型可以容易地建立的框架…
  • 模特儿

  • 3篇参考文献[SW10255]
  • 从物理到物理的样品数学经过机械化学、统计学、代数、几何学等等。
  • CysFIT

  • 2篇参考文献[SW24132]
  • 敏感。在这里,我们展示了机械数学的这些问题背后的因素…
  • 公理

  • 44篇参考文献[SW02165]
  • 元素公式脱离传统笛卡尔机械以及以前采用的物理集总程序…通过适当的几何学、三角法和勘误法形式化数学的关系,它只涉及精确的积分…
  • 克索洛夫

  • 30篇参考文献[SW06806]
  • 现今研究微观量子的必要条件机械分子、固体和其他纳米尺度的性质…使研究人员在计算和应用数学研究现有的收敛性。
  • 场所

  • 31篇参考文献[SW1248]
  • LoaLa:一个模块系统数学的理论。LARLAS是管理理论的模块系统。将其与更常见的结构相关机制编程语言和程序员,语言环境…
  • PSPC

  • 10篇参考文献[SW064 64 ]
  • 天空的机械一般是非线性动力学。对…有很好的了解数学的结构…
  • 曼波舞

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

  • 5篇参考文献[SW13123]
  • 机械化的语义库是一个集合数学的有助于开发语义模型的技术…集成平滑的技术机械定理证明器;此刻图书馆…
  • AXRES-XSC

  • 49篇参考文献[ SW000 015]
  • 液晶、地下水模型与振动机械传统浮点方法失败的地方…精确向量/矩阵算法数学的点和区间参数的标准函数…
  • FDLIB

  • 10篇参考文献[SW0270]
  • 流体领域出版书籍机械科学计算、LBRACK边界积分和奇异性…线性化粘性流动剑桥应用文本数学. 剑桥等:剑桥大学出版社…作者介绍了流体的基本知识机械计算流体力学。然而,这个…