穆罕默德·耶什伊尔 Katzman-Zhang算法的推广。 (英语) 兹比尔1457.13013 J.塞姆。计算。 103, 213-233 (2021).MSC公司:13A35型 第13页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Yešil},J.Symb。计算。103、213--233(2021;Zbl 1457.13013) 全文: 内政部 arXiv公司
穆雷·A·巴卡图。;苏西·马达赫。 奇异摄动线性微分系统的形式解。 (英语) Zbl 1433.34078号 J.塞姆。计算。 94, 183-209 (2019). 审核人:迪尔穆拉特·图苏诺夫(奥什) MSC公司:34E20型 34E05 34A30型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Barkatou}和\textit{S.S.Maddah},J.Symb。计算。94、183--209(2019年;Zbl 1433.34078) 全文: 内政部 arXiv公司 哈尔
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) Zbl 1356.68012号 J.塞姆。计算。 80,第1部分,4-26(2017).MSC公司:68英里11 68第25页 94A60 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,4--26(2017;Zbl 1356.68012) 全文: 内政部 arXiv公司 链接
Aparicio-Monforte,A。;德雷福斯,T。;威尔,J.-A。 Liouville可积性:一个有效的Morales-Ramis-Simó定理。 (英语) Zbl 1418.37092号 J.塞姆。计算。 74, 537-560 (2016).MSC公司:37J30型 37J35型 34A05型 3.4亿03 2015年11月34日 34米25 17个B45 20G45型 2005年3月34日 17B80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Aparicio Monforte}等人,J.Symb。计算。74537-560(2016年;Zbl 1418.37092) 全文: 内政部 arXiv公司
高弘久保田;川谷义彦;加藤,走;川野康仁;樱田秀树 量子密码协议安全证明的半自动验证。 (英语) Zbl 1336.68164号 J.塞姆。计算。 73, 192-220 (2016).MSC公司:60年第68季度 68问题85 第68页第15页 81页94 PDF格式BibTeX公司 XML格式引用 \textit{T.Kubota}等人,J.Symb。计算。73192-220(2016年;Zbl 1336.68164) 全文: 内政部
泽维尔·卡鲁索 DVR和LU分解上的随机矩阵。 (英语) Zbl 1316.65038号 J.塞姆。计算。 71, 98-123 (2015).MSC公司:65平方英尺 16周60 PDF格式BibTeX公司 XML格式引用 \textit{X.Caruso},J.Symb。计算。71、98——123(2015;Zbl 1316.65038) 全文: 内政部 arXiv公司 哈尔
穆雷·A·巴卡图。;卡罗尔·巴查 关于一阶线性微分系统的(k)-简单形式及其计算。 (英语) 兹比尔1277.34011 J.塞姆。计算。 54, 36-58 (2013).MSC公司:34A30型 34A05型 65L99年 34-04 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Barkatou}和\textit{C.El Bacha},J.Symb。计算。54、36-58(2013;Zbl 1277.34011) 全文: 内政部
费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 UML服务模型的可访问验证环境。 (英语) Zbl 1215.68065号 J.塞姆。计算。 46,第2期,119-149(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Banti}等人,J.Symb。计算。46,No.2,119--149(2011;Zbl 1215.68065) 全文: 内政部
Jorge,J.圣地亚哥;Victor M.古利亚斯。;何塞·弗雷尔(Jose L.Freire)。 证明计算Gröbner基的有效函数程序的属性。 (英语) 兹伯利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 1396.34054号 J.塞姆。计算。 42,编号1-2,236-264(2007).MSC公司:2015年11月34日 2005年12月 34米25 34立方米 34立方米 34米40 65L99年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Hoeven},J.Symb。计算。42,编号1--2,236--264(2007;Zbl 1396.34054) 全文: 内政部
马克·范霍伊 幂级数系数微分算子的形式解和因式分解。 (英语) Zbl 0924.12005号 J.塞姆。计算。 24,第1期,第1-30页(1997年). 审核人:E.V.Pankrat’ev(莫斯科) MSC公司:12H20型 68瓦30 34A30型 65L99年 PDF格式BibTeX公司 XML格式引用 \textit{M.van Hoeij},J.Symb(J.塞姆)。计算。24,第1号,1--30(1997;Zbl 0924.12005) 全文: 内政部 链接
安娜·帕兹托 非标准算法和动态逻辑。 (英语) Zbl 0594.68032号 J.塞姆。计算。 2,59-81(1986年). 审核人:R.霍斯 MSC公司:68问题65 60年第68季度 68-02 03B45 99年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Pasztor},J.Symb。计算。259--81(1986;Zbl 0594.68032) 全文: 内政部