• 水獭

  • 在316篇文章中引用[sw02904]
  • 水獭的应用是抽象的研究代数形式逻辑。水獭和它的前辈。。。三元有限半群的面积布尔型 代数逻辑演算,组合逻辑,群论,格理论。。。
  • 得到

  • 引用了65篇文章[sw02964]
  • 过程代数的变量、表达式、方程、函数、向量、矩阵和布尔型像科学计算器一样的表达式。。。超越。算术领域的问题,代数,三角学,微积分,线性代数和命题演算。。。
  • 埃克斯

  • 引用24篇文章[sw02738]
  • 低水位曲线段代数的学位,以及布尔型对由这些线段包围的多边形的操作。。。
  • 火星

  • 引用8篇文章[sw14516]
  • 有界正则半解析集,配备有布尔型 代数并由同胚流图预测。。。
  • Jfuzzyibat转换器

  • 引用4篇文章【sw22488】
  • 插值不确定性建模工具布尔型 代数在本文中,我们介绍一台计算机。。。实现插值的软件布尔型 代数使用Java编程语言。插值布尔型 代数... 实际价值实现布尔型 代数主要用于性能测量和不确定度建模。。。将其转换为模拟通用布尔型多项式(GBP)。显示所有转换步骤。。。
  • 聚硼

  • 引用48篇文章[sw00723]
  • 基于硬件和形式验证布尔型表达式,除了复杂之外。。。算术成分。我们确信代数的方法更合适,我们相信。。。
  • jscl介质

  • 引用2篇文章[sw05526]
  • 矩阵,因式分解,导数,积分(有理函数),布尔型 代数简化,MathML输出,Java代码生成。。。
  • 关系代数

  • 参考第6条[sw32202]
  • 与克莱恩有联系代数二元关系模型和布尔型矩阵。。。
  • 双基

  • 引用3篇文章[sw06549]
  • 减少计算机和Macaula2代数要计算的系统布尔型对合与格氏基。在这个。。。Macaulay2计算机代数系统,它允许人们计算布尔型对合基和格氏基。。。构造算法布尔型计算机中可用的Gröbner基代数系统。。。
  • 蚕豆

  • 1条引用[sw30213]
  • 中问题的公式变换布尔型 代数在FABULA系统中。目的。。。中公式变换的实现布尔型 代数.基本变换,如最小值的求值。。。
  • HiTag2

  • 在10篇文章中引用[sw14133]
  • 从两层结构来看布尔型Hitag2中的函数。然后我们研究一些。。。嵌套函数的属性,例如平衡性,代数的度,沃尔什光谱和代数的免疫。。。
  • 阿莫尔

  • 参考12篇文章【sw20980】
  • 最小化不确定性自动机),语言操作(例如。布尔型和常规操作,商,洗牌产品),测试。。。句法幺半群及其计算代数的分解。。。
  • 亚当

  • 引用8篇文章[sw21957]
  • 代数背景:许多生物系统都是用离散模型定性建模的,如概率模型布尔型... 基于工具的动态分析代数的模型(ADAM),它提供了这个和其他分析方法。。。
  • 稳定

  • 引用2篇文章[sw11913]
  • 硬验证问题组合布尔型计算机推理代数本文介绍。。。
  • 巴索尔弗

  • 在0篇文章中引用[sw04144]
  • 首字母缩略词BASolver指的是我们的混合布尔型-代数的接近。也就是说,我们的证明对象。。。
  • 酒泉

  • 1条引用[sw20674]
  • 评估的加密属性布尔型非线性等函数,代数的豁免权、恢复力等。。。还有。。。
  • 3巴

  • 引用2篇文章[sw25685]
  • 从句或解决一个系统布尔型多项式。一方面,有一个伟大的。。。来自不同的领域,如交换代数,SAT或SMT,可用于。。。计算机中的求解器代数系统。我们给出了一个平台的C++实现。。。它结合了布尔型边界基算法(BBBA)与CDCL。。。
  • VBF公司

  • 引用2篇文章【sw20673】
  • 密码学。表示向量的类布尔型函数可以由几种可选类型初始化。。。如真值表、迹表示和代数的正常形态(ANF)。最多。。。得到非线性度,线性距离,代数的绝对值的阶数、线性结构和频率分布。。。直和,砌砖(向量的并行应用布尔型在Rijndael密码中使用的函数。。。
  • 伊里特

  • 参考第6条[sw21528]
  • 以及多边形对象,并使用布尔型两者都有操作。除了强大的支持。。。自由形式几何,包括强符号、数字和代数的基于计算和分析,支持三元变量。。。