克里斯托弗·布朗(Christopher W.Brown)。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹,M.Pilar 计算机代数准备好在课堂上猜测和证明几何不等式了吗? (英语) Zbl 07700011号 数学。计算。科学。 16,第4号,第31号论文,第14页(2022年).MSC公司:97G40型 14H50型 03B35型 第68页第15页 68伏15 2014年第30季度 2016年11月51日 51-04 51-08 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}等人,数学。计算。科学。16,第4号,第31号论文,第14页(2022;Zbl 07700011) 全文: 内政部
徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上基于保真度的模型检查的代数方法。 (英语) Zbl 07601539号 西奥。计算。科学。 935, 61-81 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。935,61-81(2022;Zbl 07601539) 全文: 内政部 arXiv公司
徐明;邓玉欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 第68季度第45季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
英格兰,马修;多里安·弗洛雷斯库 比较机器学习模型以选择圆柱代数分解的变量顺序。 (英语) Zbl 1428.68399号 Kaliszyk,Cezary(编辑)等人,《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11617, 93-108 (2019).MSC公司:68瓦30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}和\textit{D.Florescu},莱克特。注释计算。科学。11617,93-108(2019;Zbl 1428.68399) 全文: 内政部 arXiv公司
卡洛斯·朗塞罗·克莱门特;罗恩·洛扎诺,尤金尼奥 用于电力变压器故障检测和诊断的多标准计算机包。 (英语) Zbl 1426.94001号 申请。数学。计算。 319, 153-164 (2018).MSC公司:94-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Roncero-Clemente}和\textit{E.Roanes-Lozano},应用。数学。计算。319153-164(2018年;Zbl 1426.94001) 全文: 内政部
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂(Anna M.Bigatti)。;Brain,马丁;布赫伯格,布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰,马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 联合国安全理事会\(^2):可满足性检查满足符号计算。(项目文件)。 (英语) 兹比尔1344.68198 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,28-43(2016)。MSC公司:第68页第15页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,Lect。注释计算。科学。9791,28-43(2016;Zbl 1344.68198) 全文: 内政部 arXiv公司
阿奈、平子 在基于模型的制造设计中应用代数几何。 (英语) Zbl 1326.93050号 Wakayama,Masato(编辑)等人,《应用程序对数学的影响》。《工业数学论坛论文集》,“2013年工业数学”,日本福冈,2013年11月4日至8日。东京:Springer(ISBN 978-4-431-54906-2/hbk;978-4-331-54907-9/电子书)。工业数学1,177-186(2014)。MSC公司:93亿B51 14第05页 1999年第14季度 13第25页 PDF格式BibTeX公司 XML格式引用 \textit{H.Anai},数学。Ind.(东京)117--186(2014;Zbl 1326.93050) 全文: 内政部
维克托·列万多夫斯基;伯恩德·马丁 生成和分析偏微分方程有限差分格式的符号方法。 (英语) Zbl 1250.65109号 Langer,Ulrich(编辑)等人,《数值和符号科学计算》。进展和前景。纽约州纽约市:施普林格出版社(ISBN 978-3-7091-0793-5/pbk;978-3-70 91-0794-2/电子书)。《符号计算的文本与专著》,123-156(2012)。MSC公司:2006年6月65日 65个M12 35升05 65日元 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Levandovskyy}和\textit{B.Martin},in:数值和符号科学计算。进展和前景。纽约州纽约市:斯普林格。123-156(2012;Zbl 1250.65109) 全文: 内政部 arXiv公司
陈应华;夏碧灿;杨璐;詹乃军;周朝晨 通过求解半代数系统发现非线性排序函数。 (英语) Zbl 1147.68442号 Jones,Cliff B.(编辑)等人,《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会,中国澳门,2007年9月26日至28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75290-5/pbk)。计算机科学课堂讲稿4711,34-49(2007)。MSC公司:68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,Lect。注释计算。科学。4711、34-49(2007年;Zbl 1147.68442) 全文: 内政部
戈特利布森,Hanne;汤姆·凯尔西;乌苏拉·马丁 计算数学的隐藏验证。 (英语) Zbl 1126.68103号 J.塞姆。计算。 39,第5期,539-567(2005).MSC公司:68瓦30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Gottliebsen}等人,J.Symb。计算。39,第5号,539--567(2005;Zbl 1126.68103) 全文: 内政部
碘脒,N.I。 经典梁问题中的有限差分/单元:借助Reduce和REDLOG在参数不等式约束下推导可行性条件。 (英语) Zbl 1031.74048号 计算。机械。 27,第2期,145-153(2001).MSC公司:74S05号 74平方米 74K10型 PDF格式BibTeX公司 XML格式引用 \textit{N.I.Ioakimidis},计算。机械。27,第2号,145--153(2001;Zbl 1031.74048) 全文: 内政部
尼古拉斯·伊奥基米迪斯。 用经典傅里叶消元法推导参数不等式约束下工程问题的可行性条件。 (英语) Zbl 0983.74084号 国际期刊数字。方法工程。 48,第11期,1583-1599(2000).MSC公司:74秒99 65平方英尺 76兰特 80A20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.I.碘脒},国际期刊数字。方法工程48,No.11,1583--1599(2000;Zbl 0983.74084) 全文: 内政部
西诺恩。 使用REDUCE进行并行计算的一些示例。 (俄语。英文摘要) 兹比尔0959.68140 芬丹。普里克尔。材料。 5,第3期,747-756(1999).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Neun},芬丹。普里克尔。材料5,编号3747-756(1999年;兹bl 0959.68140) 全文: 链接
碘脒,N.I。 借助REDLOG计算机逻辑软件包自动推导边界元内的正条件。 (英语) Zbl 1163.65342号 工程分析。已绑定。元素。 23,第10期,847-856(1999).MSC公司:65岁99岁 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.I.碘缺乏病},工程分析。已绑定。元素。23,第10号,847--856(1999;Zbl 1163.65342) 全文: 内政部