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中的参考文献(参考 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 下一个