QEPCAD公司

此软件的关键字
zbMATH中的参考文献(参考
275篇文章
引用, 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年) Davenport,James H.(编辑);England,Matthew(编辑);Griggio,Alberto(编辑);Sturm,Thomas(编辑);Tinelli,Cesare(编辑):编辑:符号计算和可满足性检验(2020) England,Matthew;Bradford,Russell;Davenport,James H.:带等式约束的柱形代数分解(2020) Kremer,Gereon;Ábrahám,Erika:完全增量圆柱代数分解(2020) 康拉迪,卡斯滕;Iosif,Alexandru;Kahle,Thomas:允许单项参数化的系统在总浓度空间中的多稳态(2019) England,Matthew;Florescu,Dorian:比较机器学习模型以选择圆柱形代数分解的变量顺序(2019) Fukasaku,Ryoya;Iwane,Hidenao;Sato,Yosuke:关于多元Hermitian二次型(2019) Huang,Zongyan;England,Matthew;Wilson,David J.;Bridge,James;Davenport,James H.;Paulson,Lawrence C.:使用机器学习改进圆柱代数分解(2019) Li,Wenda;Passmore,Grant Olney;Paulson,Lawrence C.:在Isabelle/HOL(2019年)中使用不可信证书确定单变量多项式问题 Scott McCallum;Adam Parusinóski;Paunescu,Laurentiu:Lazard CAD施工方法的有效性证明(2019年) Verdière,N.;Orange,S.:对动态非线性模型进行先验可辨识性研究的系统方法(2019年) 王,楚;杨志红;智,黎红:实代数集合上多项式的全局优化(2019) Brambilla,Maria Chiara;Staglianò,Giovanni:关于实数二进制形式的典型秩之间的代数边界(2018) Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018) 所罗门·费曼:塔斯基对计算机科学的影响(2018) Hong,Hoon;Sturm,Thomas:带符号参数多项式不等式组的正解(2018) 黄成超;李景曹;徐明;李志斌:排除与分化对多国的正根隔离(2018) Lvov,M.;Peschanenko,V.;Letychevskyi,O.;Tarasich,Y.;Baiev,A.:构造线性半代数公式规范形式的算法和工具(2018) Röbenack,Klaus;Voßwinkel,Rick;Richter,Hendrik:多项式系统边界的自动生成及其在Lorenz系统中的应用(2018) Roux,Pierre;Voronin,Yuen Lam;Sankaranarayanan,Sriram:验证多项式不变量的数值半定规划解算器(2018)