• 红皮书

  • 引用156篇文章[sw04250]
  • 提供算法对于象征的一阶公式在一些暂时的。。。
  • 棱镜

  • 引用395篇文章[sw01186]
  • 稀疏矩阵象征的以及稀疏矩阵方法。棱镜已经。。。系统范围,包括随机分布算法制造系统和工作站集群。。。
  • 努西姆

  • 引用288篇文章[sw04131]
  • NuSMV是一个象征的模型检查器开发作为一个联合项目:嵌入式系统。。。包在有界模型检查中的应用算法...
  • 乌帕阿尔提加

  • 在38篇文章中引用[sw12913]
  • 他们的分析。这个算法我们建议[CDFLL05]是象征的扩展名。。。算法刘斯莫卡[LS98]提出的有限状态线性时间模型检验方法。。。系统。在飞行中象征的 算法可能在探索之前很久就结束了。。。实现基本象征的 算法,以及获取时间的方法。。。
  • P特殊解决方案

  • 引用了60篇文章[sw12342号文件]
  • 象征的非线性偏微分方程双曲和椭圆函数精确解的计算。算法... 调查相关的算法象征的计算非线性精确解的软件。。。
  • 高超声速

  • 引用320篇文章[sw04125]
  • 组件和临时需求由象征的模型检查。如果验证失败,那么。。。追踪。HyTech的标准参考算法是[1],标准参考。。。
  • MPFI公司

  • 引用的第38条[sw00597]
  • 多项式实根(由算法结合象征的和数值计算)和近似实。。。
  • PDERecursionOperator公司

  • 引用23条[sw12345]
  • 象征的 算法对于Painlevé检验,非线性偏微分方程的特殊解和递归算子。这个。。。论文讨论了算法以及研究可积性的三个MATHEMATICA软件包的实现。。。微分方程(PDE)。第一个包,PainleveTest.m,象征性地执行Painlevé可积性测试。第二。。。
  • 伊索尔德

  • 引用的第28条[sw00458]
  • 方程。Maple ISOLDE包包含算法对于象征性地求解各类线性泛函。。。说明我们的形式化约化的用法算法然后画出与计算的联系。。。
  • LTSmin公司

  • 在14篇文章中引用[sw07214]
  • 具有象征的状态存储(向量集),完全象征的(基于BDD)可达性,分布式可达性(基于MPI。。。语言模块、引脚优化和模型检查算法. 另一方面,执行。。。验证算法基于引脚矩阵自动访问muCRL,mcrl2,DVE,PROMELA。。。时间和内存消耗象征的 算法)偏序约化和线性时态逻辑。。。
  • 数学

  • 在38篇文章中引用[sw00553]
  • 科学程序设计语言象征的和认证数字算法. 这种语言可以被编译。。。
  • 疼痛试验

  • 参考12篇文章[sw12344]
  • 象征的 算法对于Painlevé检验,非线性偏微分方程的特殊解和递归算子。这个。。。论文讨论了算法以及研究可积性的三个MATHEMATICA软件包的实现。。。微分方程(PDE)。第一个包,PainleveTest.m,象征性地执行Painlevé可积性测试。第二。。。
  • 聪明的_

  • 参考33篇文章[sw04097]
  • 生成技术,以及象征的CTL模型检查算法,可用。为了研究。。。
  • 狐狸盒

  • 引用16条[sw00307]
  • 黑盒表示象征的对象和提供算法执行象征的微积分。。。
  • 龙胆

  • 引用19篇文章[sw04299]
  • 基于集合的程序算法规格和象征的表达。格式化FORTRAN,RATFOR。。。
  • 钠20

  • 引用71篇文章[sw11505]
  • 具有任意位数。这个算法被设计用来处理。。。像那些由象征的多项式方程组的预处理,其中。。。
  • 发现者

  • 引用了40篇文章[sw07719号文件]
  • 由多项式方程和多项式不等式组成。算法实数量词消除的封闭域。。。程序验证的瓶颈象征的方法,一个人必须结合特殊的技术和。。。算法[32,30,35]用于SAS求解,并将其部分实现为真实的象征的...
  • 评估乘法

  • 引用13篇文章[sw11639]
  • 调查文章,我们呈现差异领域算法对于象征的总结。特别强调。。。输入问题的解决方案。这个算法用Mathematica软件包Sigma。。。
  • ACTLW公司

  • 参考7篇文章[sw21031]
  • 操作员的特征以及象征的 算法显示了全局模型检查。用法。。。
  • 利奈格

  • 参考6篇文章[sw10316号文件]
  • 状态空间。我们建议改进象征的 算法线性自动机的混合验证。。。混合状态空间用一表示象征的被称为LinAIGs的代表。可能代表。。。