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中的参考文献（参考 275篇文章 引用，1标准件)

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

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

  1. Russell Bradford；Davenport，James H.；England，Matthew；Errami，Hassan；Gerdt，Vladimir；Grigoriev，Dima；Hoyt，Charles；Košta，Marek；Radulescu，Ovidiu；Sturm，Thomas；Weber，Andreas:识别某些生物网络多稳态的参数发生（2020年）
  2. Davenport，James H.；England，Matthew；Griggio，Alberto；Sturm，Thomas；Tinelli，Cesare:符号计算和可满足性检验（2020）
  3. England，Matthew；Bradford，Russell；Davenport，James H.：带等式约束的柱形代数分解（2020）
  4. Kremer，Gereon；Ábrahám，Erika:完全增量圆柱代数分解（2020）
  5. 康拉迪，卡斯滕；Iosif，Alexandru；Kahle，Thomas:允许单项参数化的系统在总浓度空间中的多稳态（2019）
  6. England，Matthew；Florescu，Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序（2019）
  7. Fukasaku，Ryoya；Iwane，Hidenao；Sato，Yosuke:关于多元Hermitian二次型（2019）
  8. Huang，Zongyan；England，Matthew；Wilson，David J.；Bridge，James；Davenport，James H.；Paulson，Lawrence C.：使用机器学习改进圆柱代数分解（2019）
  9. Li，Wenda；Passmore，Grant Olney；Paulson，Lawrence C.：在Isabelle/HOL（2019年）中使用不可信证书确定单变量多项式问题
  10. Scott McCallum；Adam Parusinóski；Paunescu，Laurentiu:Lazard CAD施工方法的有效性证明（2019年）
  11. Verdière，N.；Orange，S.：对动态非线性模型进行先验可辨识性研究的系统方法（2019年）
  12. 王，楚；杨志红；智，黎红：实代数集合上多项式的全局优化（2019）
  13. Brambilla，Maria Chiara；Staglianò，Giovanni:关于实数二进制形式的典型秩之间的代数边界（2018）
  14. Doyen，Laurent；Frehse，Goran；Pappas，George J.；Platzer，André：混合动力系统验证（2018）
  15. 所罗门·费曼：塔斯基对计算机科学的影响（2018）
  16. Hong，Hoon；Sturm，Thomas:带符号参数多项式不等式组的正解（2018）
  17. 黄成超；李景曹；徐明；李志斌：排除与分化对多国的正根隔离（2018）
  18. Lvov，M.；Peschanenko，V.；Letychevskyi，O.；Tarasich，Y.；Baiev，A.：构造线性半代数公式规范形式的算法和工具（2018）
  19. Röbenack，Klaus；Voßwinkel，Rick；Richter，Hendrik:多项式系统边界的自动生成及其在Lorenz系统中的应用（2018）
  20. Roux，Pierre；Voronin，Yuen Lam；Sankaranarayanan，Sriram:验证多项式不变量的数值半定规划解算器（2018）

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