• 逆合成孔径雷达

  • 138篇参考文献[SW04999 ]
  • 这种成功在实际的形式化部分数学而计算机科学还有障碍…没有现有的半自动推理系统有足够的初步证据证明…交互式定理证明系统和适当的抽象级别用户水平工作…好。伊莎贝尔系统提供Isar作为另一种证明语言接口层,超越传统…
  • CAS/PI

  • 22篇参考文献[SW02186]
  • 计算机代数系统图形用户 接口设计为高度便携和可扩展的…优力赛系统使用控制的ZigVIS三维绘图库等整合科技运行工具系统,修改工作工具之间的连接,扩展…数学的公式,自定义和扩展菜单按钮用户 接口等等…更一般…
  • 伊莎贝尔/匹德

  • 12篇参考文献[SW07185]
  • 工具传统的强有力的逻辑基础系统像HOL,COQ,或者伊莎贝尔…像著名的证据一般/Emacs接口因此,数学教育的根本问题…整合像伊莎贝尔这样的存在者进入一个更大的环境,这有助于结束访问。用户世界,那里很多用户-接口编辑框架和教育工具已经存在。这最终将…
  • 多囊卵巢综合征

  • 6篇参考文献[SW0971]
  • 用户-接口为了Coq系统提供详尽的数学的公式LAU-OUT。我们首先展示…图形的组织——al用户-接口围绕结构化数据可以获得这个…关于证明解释及其解释整合在证明开发环境中…
  • 德斯科

  • 4篇参考文献[SW01223 ]
  • 离散事件系统控制器),由N'GIN组成(即数学的操纵…引擎和图形用户界面(图形)用户 接口已开发的控制…从AT&T研究,这是密切集成的和Desco一起…
  • 地理信息系统

  • 3篇参考文献[SW1256]
  • 软件系统以电子教科书的形式允许用户创造…图表生成器(GEDRAW)集成的用一个接口动态数学软件包(GeGeBeLa),GeoText…
  • 斯迈克斯工作室

  • 0篇参考文献[SW1596]
  • 富有的用户 接口翻译成38种不同的语言。应用程序还包含集成的 数学的参考书计算机代数系统
  • 卡托

  • 1篇参考文献[SW07619]
  • 不同的CAS。CATO是一个新的用户 接口,用Java编写,并开发…代数系统(CAS)。CAS在中国的应用数学的讲座应该是完整的部分…数学的指令然而,对于那些只有一次上课的学生来说,出现了困难。作者开发了一种引导用户 接口(GUI)将命令翻译成语言…
  • 费利克斯

  • 2篇参考文献[SW28 618]
  • 设计空间探索工具与图形集成的开发环境(IDE)用于粗编程…从单一的等效实现数学的规格这个用户重写逻辑策略的选择…逻辑等价的菲利克斯系统包括一个接口对于硬件设计的KRESSARS XPLORER…
  • 星体

  • 2篇参考文献[SW14933 ]
  • 进行昂贵的改编是必要的。辅助技术快速整合建筑集(星号)的目标是改变这个…为每个人创建灵活的原型用户提供。这套配置…需要,将原型剪裁到用户的能力和需求。积木包括传感器…也愿景系统脑计算机接口数据处理元件(以及更多)数学的流动…
  • 维萨德

  • 4篇参考文献[SW1301]
  • 使用Java RMI分布式对象。将军数学的可以适应的数据模型…支持不同数据共享的数据用户不同的数据来源和不同的科学学科…特定领域系统基于VisAD,以及用户那些特定领域的系统. VisAD…支持各种各样的用户 接口,从简单的数据浏览器小程序到复杂的…
  • 脓菌属

  • 1篇参考文献[SW29025]
  • 系统从蟒蛇。数值整合属于系统常微分方程(ODE)非常…解决这些问题的软件库系统,每一个都要求用户编写他们的代码…接口一些现有的解决方案。它还提供了一个接口代表系统象征性地…此外,此表示允许用户操纵数学的象征性地表达。这是实现的…
  • 聚苯硫醚

  • 1篇参考文献[ SW31406]
  • 用人口平衡方程作为A数学的框架。最新的人口平衡模型…时间整合方案用于解决这样一个大而硬的ODE系统制作PPBLAB A用户友好的程序,允许用户定义和模拟液体…链接到PPBLAB。因此,一个特殊的接口是为了数据交换而设计的…
  • 可可

  • 601篇参考文献[SW0143]
  • 可可是一种系统Commutative的计算…
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统. IT
  • HSL

  • 260篇参考文献[SW0418]
  • HSL(以前是HWWELL子程序库)是…