QEPCAD公司

qepcadb：一个使用CADs计算半代数集的程序。QEPCAD是一种量词消去的实现方法，最初是由Hoon Hong提出的，后来又被许多其他人加入。它是一个基于SACLIB库，用C/C++编写的交互式命令行程序。这里介绍的是qepcadbversion1.x，“B”表示与原始qepcad1.x有很大的不同，并将其与可能朝不同方向发展的原始版本区分开来。QEPCAD和SACLIB图书馆是乔治·柯林斯和他的博士生们进行的一个研究项目的结果，这个项目已经持续了几十年……而且还在继续！我对QEPCAD进行了几年的扩展和改进。改进不涉及改变程序与用户交互的方式，我只是继续进行。然而，影响QEPCAD和用户交互的更改，或添加新特性的更改被“附加”到程序中，要求用户了解额外的命令。此外，QEPCAD的分发或文档没有cannonical来源，也根本没有互联网可访问的来源。QEPCAD的这个分支，QEPCAD“B”的引入就是为了解决这些问题——使QEPCAD能够通过互联网轻松访问，提供良好的文档，并以一种最容易被用户访问的方式合并了许多改进和扩展。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献285篇文章,1标准件)

显示285个结果中的1到20个。
按年份排序(引用)

1 2 三 ... 13 14 15 下一个

  1. 戈尔巴尔，哈利勒；Sogokon，Andrew:刻画正不变集：归纳和拓扑方法（2022）
  2. Ábrahám，埃里卡；达文波特，詹姆斯H。；英格兰，马修；Kremer，Gereon:用圆柱代数覆盖确定非线性实数运算约束与冲突驱动搜索的一致性（2021）
  3. 格里戈里耶夫，迪玛；伊索夫，亚历山德罗；哈米德·拉库伊；斯图姆，托马斯；韦伯，安德烈亚斯：有效和有效地识别稳定状态变量的复性（2021）
  4. 克鲁夫，尼克拉斯；吕德斯，克里斯托夫；拉杜列斯库，奥维迪乌；斯图姆，托马斯；Walcher，Sebastian:多时间尺度生物网络的算法还原（2021）
  5. 哈米德·拉库伊；Sturm，Thomas:反应网络稳态变化的参数复性（2021）
  6. 萨明格·普拉茨，苏珊娜；安娜，科雷萨罗娃；塞利加，亚当；梅斯亚尔，拉德科；Klement，Erich Peter:扩展这个家族时对EFGM copula性质的影响（2021）
  7. 塞勒，沃纳M。；塞伊，马提亚斯；Sturm，Thomas:寻找隐式常微分方程真奇点的基于逻辑的方法（2021）
  8. 塞利加，亚当；考尔斯，曼纽尔；萨明格·普拉茨，苏珊娜；梅斯亚尔，拉德科；安娜，科雷萨罗娃；Klement，Erich-Peter:五次多项式二元copula：特征和一些特殊不等式（2021）
  9. 布拉德福德，拉塞尔；达文波特，詹姆斯H。；英格兰，马修；埃拉米，哈桑；格特，弗拉基米尔；格里戈里耶夫，迪玛；霍伊特，查尔斯；科斯塔，马雷克；拉杜列斯库，奥维迪乌；斯图姆，托马斯；韦伯，安德烈亚斯：识别某些生物网络多稳态的参数发生率（2020）
  10. 达文波特，詹姆斯H.（编辑）；英国，马修（编辑）；格里吉奥，阿尔贝托（编辑）；斯图姆，托马斯（编辑）；蒂内利，塞萨尔（编辑）：编辑：符号计算和可满足性检验（2020）
  11. 英格兰，马修；布拉德福德，拉塞尔；Davenport，James H.：带等式约束的柱形代数分解（2020）
  12. 克莱默，格雷恩；Ábrahám，Erika:全增量圆柱代数分解（2020）
  13. Uray，Marcell János:用圆柱代数分解证明不等式（2020）
  14. 康拉迪，卡斯滕；伊索夫，亚历山德罗；Kahle，Thomas:允许单项参数化的系统在总浓度空间中的多稳态（2019）
  15. 英格兰，马修；Florescu，Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序（2019）
  16. 福卡斯库，琉球；依万岛，希德瑙；佐藤，Yosuke:关于多元Hermitian二次型（2019）
  17. 黄宗炎；英格兰，马修；威尔逊，大卫J。；布里奇，詹姆斯；达文波特，詹姆斯H。；Paulson，Lawrence C.：使用机器学习改进圆柱代数分解（2019）
  18. 李，文达；帕斯莫尔，格兰特·奥尔尼；Paulson，Lawrence C.：Isabelle/HOL（2019）中使用不可信证书确定单变量多项式问题
  19. 麦卡伦，斯科特；帕鲁辛斯基，亚当；Paunescu，Laurentiu:Lazard CAD施工方法的有效性证明（2019）
  20. 威尔第，N。；Orange，S.：对动态非线性模型进行先验可辨识性研究的系统方法（2019）

1 2 三 ... 13 14 15 下一个