• dSPIN

  • 引用31篇文章[sw09888号]
  • 函数代码引用(函数指针);垃圾回收;对称性削减。dSPIN的设计是驱动的。。。
  • 拍打

  • 引用了30篇文章[sw13258]
  • 在PAT中实现,例如部分订单缩减,对称性简化,进程计数器抽象,并行模型检查。。。
  • gRc公司

  • 引用21篇文章[sw06083]
  • 高斯边缘模型对称性估计、模型选择等方面。。。带边顶点的图形高斯模型对称性(带颜色的图形高斯模型。。。
  • 张量

  • 引用28篇文章[sw18284]
  • 笛卡尔空间对称性),特别适用于涉及可压缩流的问题。。。
  • 赛德

  • 引用15篇文章[sw07076]
  • 呈现包裹SADE(对称性微分方程分析)用于确定对称性... 非经典的,谎言-Bäcklund和潜力对称性,不变解,第一积分,两个离散的Nöther定理。。。用Lie进行方程、阶和维数降维对称性微分方程的分类,卡西米尔不变量。。。拟多项式第一积分的确定对称性以及不变曲面。示例。。。
  • 谎言

  • 17条引用【sw16625】
  • 确定谎言的简化包装对称性常微分方程和偏微分方程。节目名称:LIE0。。。列2,列3,列4。问题本质:谎言对称性微分方程组在。。。物理意义。知道所有的谎言对称性因为一个给定的问题是最重要的。。。
  • 德索尔维

  • 引用19篇文章[sw06914]
  • 寻找更高的对称性微分方程组使用MAPLE软件包DESOLVII。我们呈现并描述。。。允许确定更高对称性(接触和李伯伦)对于这两种系统。。。
  • PDDE-续

  • 在26篇文章中引用[sw08419]
  • 反馈(例如对称性)一个高维交通模型,a(正则化。。。
  • 上级

  • 引用18条[sw00929]
  • 给出了同位旋的计算程序对称性B→K*γ衰变。。。因子分解法。我们证明同位旋对称性打破被证明是一个非常限制性的观察。。。
  • 手指

  • 引用25篇文章[sw07104]
  • 交叉公式推导与代码生成,开发对称性通过生成的函数和子程序。当前功能。。。
  • 差距

  • 参考第13条[sw02613]
  • 基于新点的聚类方法对称性-基于距离测量。一种进化聚类技术。。。描述了使用一个新的点对称性-基于距离测量。因此,该算法能够。。。用过。提出的带点遗传算法对称性(GAPS)基于距离的聚类算法能够。。。只要他们具备对称性. 将差距与现有差距进行比较对称性-基于。。。
  • 洛拉

  • 引用24篇文章[sw04381]
  • 支持。对于状态空间缩减,LoLA具有对称性固执集和可覆盖性图。。。
  • xPerm公司

  • 参考第22条[sw01153]
  • 关于置换的索引规范化对称性. 它被称为xPerm,它被写。。。
  • CFTs4D

  • 参考第22条[sw23882]
  • 守恒算子与置换的处理对称性. 最后,我们在Mathematica中实现了我们的框架。。。
  • 上旋

  • 参考12篇文章[sw00972]
  • 自动对称性旋转模型检查器的简化。上旋球是自动的对称性还原工具。。。自动确定一组组件对称性与规范关联。工具会自动修改。。。SPIN使用的算法来利用这些对称性在验证过程中。这会导致。。。
  • ApplySym公司

  • 引用15篇文章[sw07753]
  • 申请程序对称性本文所用的程序是SYM、拟线性PDE和DETRAFO。。。旨在利用微量元素对称性微分方程组。。。
  • 兰赫普

  • 引用21篇文章[sw00502]
  • 写在破碎指数的总和上对称性用特殊的符号来表达复杂的表情。。。
  • 对称旋转

  • 引用21篇文章[SW517号]
  • 详细描述SymmSpin,a对称性-旋转组件的还原。它提供四个。。。
  • 数学张量

  • 引用了20篇文章[sw09364]
  • 用于探测的大型方程组对称性在张量结构中。作者提出了一些问题。。。
  • 欧佩克根

  • 引用了20篇文章[sw13463]
  • 条件反射,目标凸性,单调性和对称性第二层次的问题。。。