QEPCAD公司

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

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


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 下一个