贾斯珀·纳尔巴赫;艾丽卡·阿尔布拉汉姆;菲利普·斯佩克特;克里斯托弗·布朗(Christopher W.Brown)。;詹姆斯·H·达文波特。;英格兰,马修 单个圆柱形代数单元的水平构造。 (英语) Zbl 07799840号 J.塞姆。计算。 123,文章ID 102288,44 p.(2024).MSC公司:68瓦xx 68泰克 03Cxx号 PDF格式BibTeX公司 XML格式引用 \textit{J.Nalbach}等人,J.Symb。计算。123,文章ID 102288,44 p.(2024;Zbl 07799840) 全文: 内政部 arXiv公司
林恩·皮克林;德尔里奥·阿尔玛亚诺,特雷索;英格兰,马修;科恩、凯利 符号计算的可解释人工智能见解:选择圆柱形代数分解的变量排序的案例研究。 (英语) Zbl 07799836号 J.塞姆。计算。 123,文章ID 102276,24 p.(2024).MSC公司:68瓦30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pickering}等人,J.Symb。计算。123,文章ID 102276,24 p.(2024;Zbl 07799836) 全文: 内政部 arXiv公司
佐尔坦科瓦奇;克里斯托弗·布朗;托马斯·雷西奥;洛伯特·瓦伊达 在web浏览器中使用Tarski公式和半代数集进行计算。 (英语) Zbl 07725360号 J.塞姆。计算。 120,文章ID 102235,17 p.(2024).MSC公司:68瓦xx 03Cxx号 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}等人,J.Symb。计算。120,文章ID 102235,17 p.(2024;Zbl 07725360) 全文: 内政部
李浩坤;夏碧灿;张慧莹;郑涛 利用弦结构为柱面代数分解选择更好的变量次序。 (英语) Zbl 07621056号 J.塞姆。计算。 116324-344(2023年).MSC公司:68瓦xx 第13页 14年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Li}等人,J.Symb。计算。116、324--344(2023;Zbl 07621056) 全文: 内政部 arXiv公司
凯瑟琳哈里斯;乔纳森·霍恩斯坦。;阿格尼斯·萨托 半代数集上的光滑点。 (英语) Zbl 1505.14123号 J.塞姆。计算。 116, 183-212 (2023). 审核人:卢卡·奇安蒂尼(锡耶纳) MSC公司:2014年第30季度 第14页 PDF格式BibTeX公司 XML格式引用 \textit{K.Harris}等人,J.Symb。计算。116183--212(2023年;Zbl 1505.14123) 全文: 内政部
何塞·卡普科;穆罕默德·萨弗里·埃尔丁;约瑟夫·希乔 正维参数多项式系统,连通性查询和机器人应用。 (英语) Zbl 1506.14118号 J.塞姆。计算。 115, 320-345 (2023). 审核人:Beatriz Pascual Escudero(马德里) MSC公司:2014年第30季度 68瓦30 70B15号机组 第14页 PDF格式BibTeX公司 XML格式引用 \textit{J.Capco}等人,J.Symb。计算。115320-345(2023年;Zbl 1506.14118) 全文: 内政部
Le,Huu Phuoc先生;穆罕默德·萨弗里·埃尔丁 通过Hermite矩阵求解实域上多项式方程的参数系统。 (英语) Zbl 1487.14130号 J.塞姆。计算。 112, 25-61 (2022). 审核人:Beatriz Pascual Escudero(马德里) MSC公司:2014年第30季度 第13页99 12日xx 第14页 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Le}和\textit{M.Safey El-Din},J.Symb。计算。112、25-61(2022年;Zbl 1487.14130) 全文: 内政部 arXiv公司
丹尼尔·利希布劳 MAPK化学反应网络中多稳态的符号分析。 (英语) Zbl 1457.92062号 J.塞姆。计算。 105, 118-144 (2021).MSC公司:92C40型 92立方厘米 92C45型 PDF格式BibTeX公司 XML格式引用 \文本{D.Lichtblau},J.Symb。计算。105、118——144(2021;Zbl 1457.92062) 全文: 内政部
罗伯特·H·C·莫尔。;罗伯特·M·科尔利斯(Robert M.Corless)。;大卫·J·杰弗里。 积分连续表达式的展开数对。 (英语) Zbl 1481.30025号 J.塞姆。计算。 105, 97-117 (2021).MSC公司:30E20型 65天30分 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.H.C.Moir}等人,J.Symb。计算。105、97-117(2021;Zbl 1481.30025) 全文: 内政部
医学博士Malykh。;塞瓦西亚诺夫,洛杉矶。;Yu,Y。 关于代数函数的符号积分。 (英语) Zbl 1509.68343号 J.塞姆。计算。 104, 563-579 (2021).MSC公司:68瓦30 05年12月12日 第13页第10页 2005年4月14日 34A05型 34A09号 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Malykh}等人,J.Symb。计算。104、563--579(2021年;Zbl 1509.68343) 全文: 内政部
穆罕默德·萨弗里·埃尔丁;杨志宏;志、李红 计算多项式系统的实根和(S)-根。 (英语) Zbl 1448.14061号 J.塞姆。计算。 102, 259-278 (2021).MSC公司:2014年第30季度 第14页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Safey El Din}等人,J.Symb。计算。102、259--278(2021;Zbl 1448.14061) 全文: 内政部
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 (英语) Zbl 1468.68276号 J.塞姆。计算。 102, 153-172 (2021).MSC公司:68伏05 2015年1月5日 11B83号 68兰特 68瓦30 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。102、153--172(2021年;Zbl 1468.68276) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 将计算机代数系统与SAT解算器应用于Williamson猜想。 (英语) Zbl 1432.68595号 J.塞姆。计算。 100, 187-209 (2020).MSC公司:68瓦30 05B20号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。100187--209(2020年;Zbl 1432.68595) 全文: 内政部 arXiv公司
克里斯托弗·布朗(Christopher W.Brown)。;费尔南多·恩里克斯 从简化到非线性实多项式约束的部分理论求解器。 (英语) Zbl 1432.68598号 J.塞姆。计算。 100, 72-101 (2020).MSC公司:68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}和\textit{F.Vale-Enriquez},J.Symb。计算。100,72--101(2020;Zbl 1432.68598) 全文: 内政部
英格兰,马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。 带等式约束的柱面代数分解。 (英语) Zbl 1432.68599号 J.塞姆。计算。 100, 38-71 (2020).MSC公司:68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人,J.塞姆。计算。100,38--71(2020;Zbl 1432.68599) 全文: 内政部 arXiv公司
基里恩·克莱默;艾丽卡·阿尔布拉汉姆 完全增量柱面代数分解。 (英语) Zbl 1432.68601号 J.塞姆。计算。 100, 11-37 (2020).MSC公司:68瓦30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Kremer}和\textit{E.ábrahám},J.Symb。计算。100,11--37(2020年;Zbl 1432.68601) 全文: 内政部
詹姆斯·H·达文波特。(编辑);英格兰,马修(编辑);阿尔贝托·格里乔(编辑);托马斯·斯特姆(编辑);塞萨尔·蒂内利(编辑) 编辑:符号计算和可满足性检查。 (英语) Zbl 1444.68006号 J.塞姆。计算。 100, 1-10 (2020).MSC公司:68-06 68兰特 68T20型 68瓦30 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}(编辑)等人,J.Symb。计算。100,1-10(2020年;Zbl 1444.68006) 全文: 内政部
帕里萨·阿尔瓦迪;马苏德·阿塔伊;马赫萨·卡泽米;马克·莫雷诺·马扎 关于推广的Hensel构造及其在实极限点计算中的应用。 (英语) Zbl 1455.13044号 J.塞姆。计算。 98, 120-162 (2020). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:13第05页 14第05页 2005年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Alvandi}等人,J.Symb。计算。98、120-162(2020;Zbl 1455.13044) 全文: 内政部
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯 识别某些生物网络的多个稳态的参数发生。 (英语) Zbl 1442.92056号 J.塞姆。计算。 98, 84-119 (2020). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:92立方厘米 68瓦30 2008年9月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,J.Symb。计算。98,84-119(2020;Zbl 1442.92056) 全文: 内政部 arXiv公司
斯科特·麦卡勒姆;亚当·帕鲁森斯基;劳伦蒂·鲍内斯库 拉扎德CAD构造方法的有效性证明。 (英语) Zbl 1419.14084号 J.塞姆。计算。 92, 52-69 (2019). 审核人:Nelly Villamizar(斯旺西) MSC公司:第14页 68瓦30 03C10号机组 2014年第20季度 PDF格式BibTeX公司 XML格式引用 \textit{S.McCallum}等人,J.Symb。计算。92,52-69(2019年;兹bl 1419.14084) 全文: 内政部 arXiv公司
约翰·阿伯特 有理数的容错模重构。 (英语) Zbl 1403.11083号 J.塞姆。计算。 80,第3部分,707-718(2017).MSC公司:2016年11月 11A07号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Abbott},J.Symb。计算。80,第3部分,707--718(2017;Zbl 1403.11083) 全文: 内政部 arXiv公司
Jose Israel罗德里格斯;唐晓仙 计算似然方程数据判别的概率算法。 (英语) Zbl 1373.62090号 J.塞姆。计算。 83, 342-364 (2017).MSC公司:10层62层 68瓦30 第13页第10页 13第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Rodriguez}和\textit{X.Tang},J.Symb。计算。83、342--364(2017年;Zbl 1373.62090) 全文: 内政部 arXiv公司
瓦里萨·纳皮姆 三阶常微分方程通过切线变换等价于二阶线性常微分方程。 (英语) Zbl 1338.34081号 J.塞姆。计算。 77, 63-77 (2016).MSC公司:34C20美元 PDF格式BibTeX公司 XML格式引用 \textit{W.Nakpim},J.Symb。计算。77、63——77(2016;Zbl 1338.34081) 全文: 内政部
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰,马修;斯科特·麦卡勒姆;大卫·威尔逊 真值表不变量柱面代数分解。 (英语) Zbl 1351.68314号 J.塞姆。计算。 76, 1-35 (2016).MSC公司:68瓦30 第14页99 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,J.Symb。计算。76,1--35(2016;Zbl 1351.68314) 全文: 内政部 arXiv公司
梅德利纳·埃拉什库;Hoon Hong 最佳数值算法合成的实量词消除(案例研究:平方根计算)。 (英语) Zbl 1335.68300号 J.塞姆。计算。 75, 110-126 (2016).MSC公司:68瓦30 03C10号机组 65G40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Erašcu}和\textit{H.Hong},J.Symb。计算。75、110-126(2016;Zbl 1335.68300) 全文: 内政部
陈昌波;马克·莫雷诺·马扎 基于正则链的柱面代数分解的量词消除。 (英语) Zbl 1398.68695号 J.塞姆。计算。 75, 74-93 (2016).MSC公司:68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}和\textit{M.Moreno Maza},J.Symb。计算。75、74-93(2016年;Zbl 1398.68695) 全文: 内政部
杰姆·吉内;克劳迪娅·瓦尔斯 中二次微分系统中心流形的中心问题。 (英语) Zbl 1333.34043号 J.塞姆。计算。 73, 250-267 (2016). 审核人:瓦列里·罗曼诺夫斯基(马里博尔) MSC公司:34二氧化碳 34立方厘米 34立方厘米 34-02 34A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Giné}和\textit{C.Valls},J.Symb。计算。73250-267(2016年;Zbl 1333.34043) 全文: 内政部
韩景军;金、智;夏碧灿 通过简化的CAD投影证明不等式并解决全局优化问题。 (英语) Zbl 1337.90052号 J.塞姆。计算。 72, 206-230 (2016).MSC公司:90C26型 65D17号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Han}等人,J.Symb。计算。72、206-230(2016年;Zbl 1337.90052) 全文: 内政部 arXiv公司
斯科特·麦卡勒姆;Hoon Hong 关于在CAD构造中使用Lazard投影。 (英语) 兹伯利1325.13026 J.塞姆。计算。 第72页,第65-81页(2016年). 审核人:弗朗西丝卡·乔菲(那不勒斯) MSC公司:13第05页 68瓦30 03G15年 1999年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{S.McCallum}和\textit{H.Hong},J.Symb。计算。72、65-81(2016年;Zbl 1325.13026) 全文: 内政部 arXiv公司
妮可·萨瑟兰 计算多项式的Galois群(尤其是素特征函数域上的Galoi群)。 (英语) Zbl 1393.11073号 J.塞姆。计算。 71, 73-97 (2015).MSC公司:11兰特32 11年40 PDF格式BibTeX公司 XML格式引用 \textit{N.Sutherland},J.Symb。计算。71、73——97(2015;Zbl 1393.11073) 全文: 内政部
Hoon Hong;唐晓仙;夏碧灿 用于多稳态生物调节系统稳定性分析的特殊算法。 (英语) Zbl 1328.92028号 J.塞姆。计算。 70, 112-135 (2015).MSC公司:92立方厘米 34D20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Hong}等人,J.Symb。计算。70112-135(2015年;Zbl 1328.92028) 全文: 内政部 arXiv公司
陈少石;Chyzak、Frédéric;冯汝永;傅国峰;李子明 关于混合超几何项望远镜的存在性。 (英语) Zbl 1303.33024号 J.塞姆。计算。 68,第1部分,1-26(2015).MSC公司:33层10 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}等人,J.Symb。计算。68,第1部分,1-26(2015;Zbl 1303.33024) 全文: 内政部 arXiv公司
阿方萨·加西亚;弗朗西斯科·加西亚;德尔·雷伊,天使马汀;杰拉尔多·罗德里格斯;阿古斯汀德拉维拉 改变评估方法:新规则,新角色。 (英语) Zbl 1284.97032号 J.塞姆。计算。 61-62, 70-84 (2014).MSC公司:97U70型 97M50型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.GarcíA}等人,J.Symb。计算。61-62,70-84(2014;Zbl 1284.97032) 全文: 内政部
大卫·H·贝利。;乔纳森·博文(Jonathan M.Borwein)。;亚历山大·凯泽。 大型符号表达式的自动简化。 (英语) Zbl 1310.68259号 J.塞姆。计算。 60, 120-136 (2014).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Bailey}等人,J.Symb。计算。60120-136(2014年;Zbl 1310.68259) 全文: 内政部
汉族、毛安;瓦莱里·罗曼诺夫斯基。 常微分方程多项式系统的等时性和正规形式。 (英语) Zbl 1248.34046号 J.塞姆。计算。 47,第10号,1163-1174(2012).MSC公司:34C20美元 34二氧化碳 34C25型 34-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Han}和\textit{V.G.Romanovski},J.Symb。计算。47,第10号,1163--1174(2012;Zbl 1248.34046) 全文: 内政部
克里斯托弗·布朗(Christopher W.Brown)。 基于单项式不等式的Tarski公式的快速简化。 (英语) Zbl 1262.68189号 J.塞姆。计算。 47,第7号,859-882(2012). 审核人:约翰·佩里(哈蒂斯堡) MSC公司:68瓦30 05A20型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown},J.Symb(英国作家)。计算。47,第7号,859--882(2012;Zbl 1262.68189) 全文: 内政部
陈昌波;马克·莫雷诺·马扎 计算多项式系统三角分解的算法。 (英语) Zbl 1264.12011年 J.塞姆。计算。 47,第6号,610-642(2012). 审核人:阿米尔·哈希米(伊斯法罕) MSC公司:2005年12月 第13页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Chen}和\textit{M.Moreno Maza},J.Symb。计算。47,第6号,610--642(2012;Zbl 1264.12011) 全文: 内政部
马克·吉斯布雷希特;丹尼尔·罗什(Daniel S.Roche)。 检测缺失的完美力量并计算其根源。 (英语) Zbl 1233.13011号 J.塞姆。计算。 46,第11期,1242-1259(2011). 审核人:保罗·莱拉(都灵) MSC公司:13第05页 13层20 11二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.Giesbrecht}和\textit{D.S.Roche},J.Symb。计算。46,第11号,1242--1259(2011;Zbl 1233.13011) 全文: 内政部
纳泽兰·伊德里斯;格哈德·普菲斯特;斯特凡·斯特德尔 模块化算法的并行化。 (英语) Zbl 1229.13002号 J.塞姆。计算。 46,第6号,672-684(2011). 审核人:约瑟夫·希乔(林茨) MSC公司:13-04 第13页第10页 2005年5月 6504年 68宽10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Idrees}等人,J.Symb。计算。46,第6号,672--684(2011;Zbl 1229.13002) 全文: 内政部 arXiv公司
克里斯蒂娜·伯顿;纪尧姆·切兹;安德烈·加里戈 多项式绝对因式分解的模块化拉斯维加斯算法。 (英语) Zbl 1244.12006年 J.塞姆。计算。 45,第12期,1280-1295(2010). 审核人:大卫·塞维利亚(林茨) MSC公司:2005年12月 68瓦30 13第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertone}等人,J.Symb。计算。45,第12号,1280-1295(2010年;兹bl 1244.12006) 全文: 内政部 arXiv公司
梁松欣;大卫·J·杰弗里。 自动计算参数多项式的完整根分类。 (英语) Zbl 1186.12003年 J.塞姆。计算。 44,第10期,1487-1501(2009). 审核人:大卫·塞维利亚(林茨) MSC公司:2005年12月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Liang}和\textit{D.J.Jeffrey},J.Symb。计算。44,第10号,1487--1501(2009年;兹bl 1186.12003) 全文: 内政部
Jorge,J.圣地亚哥;Victor M.古利亚斯。;何塞·弗雷尔(Jose L.Freire)。 证明计算Gröbner基的有效函数程序的属性。 (英语) Zbl 1159.13016号 J.塞姆。计算。 44,第5期,571-582(2009).MSC公司:第13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Jorge}等人,J.Symb。计算。44,第5号,571--582(2009;Zbl 1159.13016) 全文: 内政部
曼纽尔·布朗斯坦 并行积分的结构定理。 (英语) Zbl 1203.68320号 J.塞姆。计算。 42,第7期,757-769(2007).MSC公司:68瓦30 65天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Bronstein},J.Symb。计算。42,第7号,757--769(2007;Zbl 1203.68320) 全文: 内政部
钢,艾伦 克服不可分性:正特征代数函数域上的主分解和多元因式分解。 (英语) Zbl 1120.13026号 J.塞姆。计算。 40,第3期,1053-1075(2005).MSC公司:13第05页 第13页第10页 13个M10 PDF格式BibTeX公司 XML格式引用 \textit{A.Steel},J.Symb。计算。40,第3号,1053--1075(2005;Zbl 1120.13026) 全文: 内政部
汉内·戈特利布森;汤姆·凯尔西;乌苏拉·马丁 计算数学的隐藏验证。 (英语) 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) 全文: 内政部
迈克尔·比森;弗里克·威迪杰克 无穷大在微积分和计算机代数系统中的意义。 (英语) Zbl 1126.68099号 J.塞姆。计算。 39,第5期,523-538(2005).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}和\textit{F.Wiedijk},J.Symb。计算。39,第5号,523--538(2005;Zbl 1126.68099) 全文: 内政部
乔治·柯林斯。 单因素系数界限。 (英语) Zbl 1130.11309号 J.塞姆。计算。 38,第6期,1507-1521(2004).MSC公司:11二氧化碳 12E05型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Collins},J.Symb。计算。38,第6号,1507--1521(2005;Zbl 1130.11309) 全文: 内政部
安娜·马可;何塞·哈维尔·马丁内斯 具有多项式项的矩阵行列式的并行计算。 (英语) Zbl 1137.65344号 J.塞姆。计算。 37,第6号,749-760(2004).MSC公司:65英尺40英寸 68宽10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Marco}和\textit{J.-J.Martínez},J.Symb。计算。37,第6号,749--760(2004;Zbl 1137.65344) 全文: 内政部
卡里姆·贝拉巴斯 数字域上的相对van Hoeij算法。 (英语) Zbl 1137.11360号 J.塞姆。计算。 37,第5期,641-668(2004).MSC公司:11年40 PDF格式BibTeX公司 XML格式引用 \文本{K.Belabas},J.Symb。计算。37,第5号,641--668(2004;Zbl 1137.11360) 全文: 内政部
伊丽莎白·A·阿诺德。 计算Gröbner基的模块化算法。 (英语) Zbl 1046.13018号 J.塞姆。计算。 35,第4期,403-419(2003).MSC公司:第13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Arnold},J.Symb(J.塞姆)。计算。35,第4号,403--419(2003;Zbl 1046.13018) 全文: 内政部
莫里斯·米格诺特;Ştefănescu,多鲁 线性递归序列和多项式根。 (英语) Zbl 1028.12002年 J.塞姆。计算。 35,第6期,637-649(2003). 审核人:爱德华·巴博(多伦多) MSC公司:第12天第10天 11立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Mignotte}和\textit{D.⁄tefénescu},J.Symb。计算。35,第6号,637--649(2003;Zbl 1028.12002) 全文: 内政部
詹姆斯·H·达文波特。 计算机代数及其他方面的平等。 (英语) Zbl 1037.68161号 J.塞姆。计算。 34,第4期,259-270(2002).MSC公司:68瓦30 68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport},J.Symb。计算。34,第4号,259--270(2002;Zbl 1037.68161) 全文: 内政部
格雷戈尔·肯珀 正定特征中根式理想的计算。 (英语) 兹比尔1010.13001 J.塞姆。计算。 34,第3229-238号(2002年).MSC公司:13A10号 68瓦30 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{G.坎佩尔},J.塞姆。计算。34,第3号,229--238(2002;Zbl 1010.13001) 全文: 内政部 链接
卡拉科蒂,K。 在形式幂级数计算中预测零系数。 (英语) Zbl 1045.13009号 J.塞姆。计算。 33,第3号,307-320(2002). 审核人:Ali Benhissi(莫纳斯特尔) MSC公司:13层25 第13页99 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Kalorkoti},J.Symb。计算。33,第3号,307--320(2002;Zbl 1045.13009) 全文: 内政部 链接
卡拉科蒂,K。 检测错误位置的代数曲线。 (英语) Zbl 0977.14028号 J.塞姆。计算。 第671-690号,第31页(2001年).MSC公司:2005年第14季度 14H50型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Kalorkoti},J.Symb。计算。31,第6号,671--690(2001;Zbl 0977.14028) 全文: 内政部
约翰·阿伯特;安娜·玛丽亚·比加蒂;马丁·克鲁泽;罗比亚诺,洛伦佐 计算点的理想。 (英语) Zbl 0977.13011号 J.塞姆。计算。 30,第4期,341-356(2000). 审核人:Robert F.Lax(巴吞鲁日) MSC公司:第13页第10页 2014年第20季度 2005年14月 PDF格式BibTeX公司 XML格式引用 \textit{J.Abbott}等人,J.Symb。计算。30,第4号,341--356(2000;Zbl 0977.13011) 全文: 内政部
格特·马丁·格雷尔 计算机代数和代数几何——成就和观点。 (英语) Zbl 0962.14035号 J.塞姆。计算。 30,第3期,253-289(2000). 审核人:莫里斯·米格诺特(斯特拉斯堡) MSC公司:2014年第二季度 第13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.-M.Greuel},J.Symb。计算。30,第3号,253--289(2000;Zbl 0962.14035) 全文: 内政部 arXiv公司
Masayuki诺罗;横山和弘 计算零维理想的有理单变量表示的模块化方法。 (英语) Zbl 0945.13010号 J.塞姆。计算。 28,编号1-2,243-263(1999). 审核人:格雷戈·坎佩尔(海德堡) MSC公司:13层20 第13页第10页 14A05号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Noro}和\textit{K.横山由纪夫},J.Symb。计算。28,编号1--2,243--263(1999;Zbl 0945.13010)
沃尔克·魏斯芬宁 综合Gröbner基地。 (英语) Zbl 0784.13013号 J.塞姆。计算。 14,第1期,1-29页(1992年). 审核人:A.Dickenstein(布宜诺斯艾利斯) MSC公司:第13页第10页 13层20 68瓦30 2014年第20季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Weispfenning},J.Symb。计算。14,编号1,1--29(1992年;Zbl 0784.13013) 全文: 内政部
莫里斯·米格诺特 关于多项式最大根的乘积。 (英语) Zbl 0756.65074号 J.塞姆。计算。 13,第6号,605-611(1992). 审核人:S.Filippi(基恩) MSC公司:65小时05 65欧元 30立方厘米 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.Mignotte},J.Symb。计算。13,编号:605-611(1992年;Zbl 0756.65074) 全文: 内政部
曼纽尔·布朗斯坦 关于线性常微分方程在其系数域中的解。 (英语) Zbl 0752.34009号 J.塞姆。计算。 13,第4期,413-439(1992).MSC公司:65J99型 68瓦30 12H20型 34A30型 65升99 PDF格式BibTeX公司 XML格式引用 \textit{M.Bronstein},J.Symb。计算。13,第4号,413--439(1992;Zbl 0752.34009) 全文: 内政部
沃尔迪尔·罗克。;多斯桑托斯,雷纳托·P·。 时空嵌入中的计算机代数。 (英语) Zbl 0748.53001号 J.塞姆。计算。 12,第3期,381-389(1991). 审核人:C.Bär(波恩) MSC公司:53-04 53B30码 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Roque}和\textit{R.P.Dos Santos},J.Symb。计算。12,第3号,381--389(1991;Zbl 0748.53001) 全文: 内政部 arXiv公司
乔治·柯林斯。;Hoon Hong 量词消除的部分柱面代数分解。 (英语) Zbl 0754.68063号 J.塞姆。计算。 12,第3期,299-328(1991). 审核人:T.Pheidas(伊拉克利翁) MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Collins}和\textit{H.Hong},J.Symb。计算。12,第3号,299--328(1991;Zbl 0754.68063) 全文: 内政部
蒂莫西·哈维尔。 一些使用距离作为欧几里得几何坐标的例子。 (英语) Zbl 0743.51011号 J.塞姆。计算。 11,编号5-6,579-593(1991). 审核人:E.Quaisser(波茨坦) MSC公司:51K05美元 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{T.F.哈维尔},J.塞姆。计算。11,编号5--6579--593(1991;Zbl 0743.51011) 全文: 内政部
歌手Michael F。 具有Liouvillian系数的线性微分方程的Liouvillien解。 (英语) Zbl 0776.12002号 J.塞姆。计算。 11,第3期,251-273(1991).MSC公司:05年12月12日 34A30型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Singer},J.Symb。计算。11,第3号,251--273(1991;Zbl 0776.12002) 全文: 内政部
歌手Michael F。 微分方程的形式解。 (英语) Zbl 0727.12011号 J.塞姆。计算。 10,第1号,59-94(1990). 审核人:N.V.Grigorenko(基辅) MSC公司:05年12月12日 34A05型 68瓦30 34E05型 34-02 12-02 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Singer},J.Symb。计算。10,第1号,59--94(1990;Zbl 0727.12011) 全文: 内政部
曼纽尔·布朗斯坦 基本功能的集成。 (英语) Zbl 2006年7月18日 J.塞姆。计算。 9,No.2,117-173(1990). 审核人:弗里德里希·施瓦茨(帕德博恩) MSC公司:12H20型 2005年12月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Bronstein},J.Symb。计算。9,No.2,117--173(1990;Zbl 0718.2006) 全文: 内政部
阿尔姆克维斯特,格特;多龙·泽尔伯格 积分符号下的微分方法。 (英语) Zbl 0717.33004号 J.塞姆。计算。 10,第6号,571-591(1990). 审核人:R.阿斯基 MSC公司:33C60个 PDF格式BibTeX公司 XML格式引用 \textit{G.Almkvist}和\textit{D.Zeilberger},J.Symb。计算。10,第6号,571--591(1990;Zbl 0717.33004) 全文: 内政部
曼纽尔·布朗斯坦 超越Risch微分方程。 (英语) Zbl 0707.12003号 J.塞姆。计算。 9,No.1,49-60(1990). 审核人:弗里德里希·施瓦兹(帕德博恩) MSC公司:12H20型 68瓦30 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.Bronstein},J.Symb。计算。9,第1号,49--60(1990;Zbl 0707.12003) 全文: 内政部
布鲁斯·查尔。;基思·O·格迪斯。;Gaston H.Gonnet。 GCDHEU:基于整数GCD计算的启发式多项式GCD算法。 (英语) Zbl 0679.12013号 J.塞姆。计算。 7,第1期,31-48(1989). 审核人:H.J.戈德温 MSC公司:2005年12月 2009年4月11日 12-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.W.Char}等人,J.Symb。计算。7,第1号,第31-48条(1989;Zbl 0679.12013) 全文: 内政部
詹姆斯·H·达文波特。;乔斯·海因茨 实量词消除是双指数的。 (英语) Zbl 0663.03015号 J.塞姆。计算。 5,编号1-2,29-35(1988). 审核人:李翔 MSC公司:03C10号机组 65年第68季度 12升05 68瓦30 12D99型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}和textit{J.Heintz},J.Symb。计算。5,编号1--2,29-35(1988;Zbl 0663.03015) 全文: 内政部
丹尼斯·S·阿诺。 真正封闭字段的量词消除参考书目。 (英语) Zbl 0646.03024号 J.塞姆。计算。 5,编号1-2,267-274(1988). 审核人:D.Yu。格里戈列夫 MSC公司:03C10号机组 12升12 68瓦30 00A15年 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Arnon},J.Symb。计算。5,编号1--2,267--274(1988;Zbl 0646.03024) 全文: 内政部
Cherry,G.W。 用特殊函数进行有限项积分:误差函数。 (英语) Zbl 0586.68030号 J.塞姆。计算。 1, 283-302 (1985).MSC公司:68瓦30 1999年12时 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Cherry},J.Symb。计算。1283--302(1985;Zbl 0586.68030) 全文: 内政部