• 伽马

  • 在823篇文章中引用[sw04978号]
  • 总则代数的建模系统(GAMS)是明确地整数和非线性模型设计。。。
  • 木桶

  • 引用172篇文章[sw02235]
  • CoFI被称为Casl:Common代数的 规范语言。其主要特点如下。。。
  • 拉帕克

  • 引用1586篇文章[sw00503]
  • 通过调用基本线性代数子程序(BLA)。LAPACK的设计。。。3级BLAS - 一套规格对于执行各种类型的Fortran子程序。。。
  • 麦考拉2

  • 在1576篇文章中引用[sw00537]
  • 支持研究代数的几何与交换代数他的创作得到了资助。。。安装计算方法明确地和他们在一起。Macaulay2可以计算Betti数,Ext,上同调。。。环的积分闭包,等等。电脑类代数系统。。。
  • 科菲

  • 引用42篇文章[sw01631]
  • CoFI:共同框架倡议代数的 规范以及发展。共同框架倡议。。。代数的 规范而软件开发,是一个开放的国际合作。主首字母。。。设计一个连贯的代数的 规范语言,基于对结构的严格选择。。。CASL的设计代数的 规范语言,以及它的子语言和扩展。。。
  • 雷德布基特

  • 引用138篇文章[sw12977]
  • 突出其内置代数的几何结构。更多明确地作者们讨论了其他策略。。。
  • mCRL公司

  • 参考第31条[sw29626]
  • μCRL:一个分析工具集代数的 规格. μCRL是一种用于指定。。。分布式系统代数的时尚。它的目标是规范系统行为。。。过程-代数的抽象数据类型形式的数据元素的样式和。。。分析和操作CRL规格. AμCRL规范可以自动转换。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 新近发展起来的代数的 规范语言Casl,允许建模系统。。。这里,我们将演示如何指定流程代数,即CCS[R.Milner,通信与并发。。。
  • 金纳克

  • 引用了70篇文章[sw01609]
  • 代表计算机代数系统。一直是这样明确地发展成为一个替代引擎。。。不试图提供广泛的代数的功能和简单的编程语言,但是。。。
  • Z

  • 引用274篇文章[sw10291]
  • 促进正式纪律的一个条件规范还有推理?另一个令人失望的是。。。从关系演算中引入代数的没有提到属性;很多。。。
  • 泽农

  • 引用21篇文章[sw06753]
  • 焦点环境,一个面向对象的代数的 规范以及证明系统,它能够产生。。。
  • 哈斯卡斯

  • 17条引用[sw00399]
  • HasCasl:集成高阶规范在程序开发方面,我们给出了HasCasl的设计方案。。。的高阶扩张代数的 规范作为一个广泛的。。。
  • 螺旋形的

  • 引用条款46条[sw00903]
  • 螺旋线使用一个域具体的语言,基于代数的DSP算法的制定。。。
  • HipSpec公司

  • 参考12篇文章[sw07736]
  • 这些等式性质构成了代数的 规范对于程序和可以另外。。。
  • 中央结算系统

  • 引用25篇文章[sw03357]
  • CCSL是一个规范两者结合的语言代数的以及煤系元素。CCSL编译器。。。
  • 亚当

  • 参考7篇文章[sw21957]
  • 他们使用计算机工具的动力学代数.明确地我们提出了一种识别吸引子的方法。。。方程,一个长期研究的计算机问题代数. 基于广泛的实验和离散。。。
  • 谦虚

  • 引用了30篇文章[sw01544]
  • 规范像Promela这样的语言,处理轻量级过程中的组合-代数... 严格的过程-代数风格语义学,和(iii)还提供了现代和灵活规范构造。。。
  • 马斯

  • 引用5篇文章[sw08442]
  • 命令与编程工具相结合代数的 规范设计和研究代数的算法。。。
  • 漂亮

  • 引用5篇文章[sw04913]
  • 提供代数的例如建模和编程。。。通用程序设计语言与领域具体的 代数的建模语言(2)提供了一个简单的。。。