QEPCAD公司

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