• ITP公司

  • 引用31篇文章[sw09808]
  • 支持规范的增量开发。会员 等式 逻辑等式 逻辑...
  • 数据发生器

  • 引用15篇文章[sw09904]
  • 重写的声明性调试逻辑规范。声明性调试是一种半自动的技术,它可以启动。。。通过它找出错误。会员 等式 逻辑(MEL)是一个等式 逻辑那个。。。状态会员描述一类元素的公理。重写逻辑是一个逻辑... 正常形式,最小排序等式重写子集逻辑,并重写。。。
  • BMaude公司

  • 引用2篇文章[sw10135]
  • 走向行为的伤痕:行为的会员 等式 逻辑. 代数规范和代数规范如何集成。。。隐藏的排序语义par Maude的底层等式 逻辑,会员 等式 逻辑,概括和增加。。。开发一个隐藏的排序扩展会员 等式 逻辑并给出了理论。。。
  • 间隙

  • 引用了2702篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 岩浆

  • 在2718篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 在7624篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • 减少

  • 引用737篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 圣哲

  • 在1507篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 单数

  • 引用1314篇文章[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 合金

  • 引用了29篇文章[sw01247]
  • 合金:一种新的软件建模技术。合金。。。