尤金尼奥·罗内斯·洛扎诺 使用计算机代数系统在超车站的铁路联锁系统中寻找兼容的路线。 (英语) Zbl 1523.90077 Boulier,François(编辑)等人,《科学计算中的计算机代数》。第22届国际研讨会,CASC 2020,奥地利林茨,2020年9月14日至18日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12291, 528-542 (2020).MSC公司:90B20型 68瓦30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano},莱克特。票据计算。科学。12291、528--542(2020;Zbl 1523.90077) 全文: 内政部
阿布拉莫夫,谢尔盖·A。;Khmelnov,Denis E。;安娜·A·里亚本科。 截断无穷幂级数在线性常微分方程系数中的作用。 (英语) Zbl 07635823号 Boulier,François(编辑)等人,《科学计算中的计算机代数》。第22届国际研讨会,CASC 2020,奥地利林茨,2020年9月14日至18日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12291, 63-76 (2020).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov}等人,Lect。票据计算。科学。12291,63-76(2020;Zbl 07635823) 全文: 内政部
顾美美;郝荣霞;埃迪·程 正则图的故障可诊断性。 (英语) Zbl 1502.05111号 理论应用。图 7,第2号,第4条,第16页(2020).MSC公司:05C40号 05C25号 68M10个 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.-M.Gu}等人,理论应用。图7,第2号,第4条,16页(2020年;Zbl 1502.05111) 全文: 内政部
Banshchikov,A.V.公司。 轨道回转器相对平衡必要稳定性条件的符号-数值分析。 (俄语。英文摘要) Zbl 1514.70007号 同胞。Zh公司。Ind.材料。 23,第2期,5-16(2020年); J.Appl.中的翻译。Ind.数学。14,第2期,213-221(2020)。MSC公司:70欧元50欧元 70E05型 70平方米 70-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Banshchikov},西布。Zh公司。Ind.Mat.23,No.2,5--16(2020;Zbl 1514.70007);J.Appl.中的翻译。Ind.数学。14,No.2,213--221(2020) 全文: 内政部 MNR公司
安德烈·格雷内·佩特;莫里茨·舒博茨;Akiko Aizawa;吉普,贝拉 使演示数学可计算:提出一种上下文敏感的方法,用于将LaTeX转换为计算机代数系统。 (英语) Zbl 1503.68299号 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12097, 335-341 (2020).MSC公司:68五氧化二钒 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Greiner-Peter}等人,莱克特。票据计算。科学。12097、335--341(2020;Zbl 1503.68299) 全文: 内政部
温弗里德·库思 多尺度图文法可以生成群和幺半群的Cayley图。 (英语) Zbl 1502.68155号 Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12150, 307-315 (2020).MSC公司:第68季度第42季度 05C25号 68-04 PDF格式BibTeX公司 XML格式引用 \文本{W.Kurth},Lect。票据计算。科学。12150307--315(2020;Zbl 1502.68155) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 树分解图的代数。 (英语) Zbl 1502.68213号 Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12150203-220(2020年)。MSC公司:68兰特 05二氧化碳 05C25号 第68季度第42季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Lect。票据计算。科学。12150203-220(2020;Zbl 1502.68213) 全文: 内政部
卢比沙·斯坦科维奇;达尼洛·曼迪奇;米洛什·达科维奇;米洛什·布拉乔维奇;布鲁诺·斯卡尔佐;李胜喜;安东尼·康斯坦丁德斯(Anthony G.Constantinides)。 图形数据分析。二: 图形上的信号。 (英语) Zbl 1524.68339号 已找到。趋势马赫数。学习。 13,编号2-3,158-331(2020).MSC公司:68T09号 05元50分 68兰特 68T05型 94甲12 68-02 PDF格式BibTeX公司 XML格式引用 \textit{L.Stanković}等人,发现。趋势马赫数。学习。13,编号2-3158-331(2020;兹bl 1524.68339) 全文: 内政部
卢比沙·斯坦科维奇;达尼洛·曼迪奇;米洛什·达科维奇;米洛什·布拉乔维奇;布鲁诺·斯卡尔佐;李胜喜;安东尼·康斯坦丁德斯(Anthony G.Constantinides)。 图形数据分析。一: 图和图上的谱。 (英语) Zbl 1524.68338号 已找到。趋势马赫数。学习。 13、1号、1-157(2020年).MSC公司:68T09号 05元50分 68兰特 68T05型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{L.Stanković}等人,发现。趋势马赫数。学习。13,编号1,1-157(2020;兹bl 1524.68338) 全文: 内政部
侯赛因·卡尤;玛格丽塔·鲁登科娃。;列奥尼德·艾布罗西莫夫。 关于无环路布线的代数理论。 (英语) Zbl 1490.68040号 Vishnevskiy,Vladimir M.(编辑)等人,《分布式计算机和通信网络》。第23届国际会议,2020年DCCN,俄罗斯莫斯科,2020年9月14日至18日。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。12563161-175(2020年)。MSC公司:68M10个 68个M12 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Khaue}等人,Lect。票据计算。科学。12563、161--175(2020年;Zbl 1490.68040) 全文: 内政部
崔晶晶;彭国华;陆、权;黄正阁 用于离散不适定问题和图像恢复的改进的特殊HSS方法。 (英语) Zbl 1480.65092号 国际期刊计算。数学。 97,第4期,739-758(2020).MSC公司:65层22 65层10 65D18天 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cui}等人,《国际计算杂志》。数学。97,第4号,739--758(2020;Zbl 1480.65092) 全文: 内政部
阿明·索塔尼耶;马库斯·西格尔 它有时可以工作:一种用于修复随机过程代数模型的提升算法。 (英语) Zbl 1484.68038号 Hermanns,Holger(编辑),计算系统的测量、建模和评估。第20届国际GI/ITG会议,MMB 2020,德国萨尔布吕肯,2020年3月16日至18日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12040, 190-207 (2020).MSC公司:68平方米 68米15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Soltanieh}和\textit{M.Siegle},莱克特。票据计算。科学。12040、190-207(2020;Zbl 1484.68038) 全文: 内政部
桑德拉·卡里略;毛罗·罗·斯齐亚沃;科内利亚·希伯德 修正Korteweg-de-Vries方程的矩阵孤子解。 (英语) Zbl 1483.35182号 Lacarbonara,Walter(编辑)等人,《结构、系统和设备的非线性动力学》。2019年2月17日至20日,意大利罗马,NODYCON 2019,第一届国际非线性动力学会议记录。第一卷查姆:斯普林格。75-83 (2020).MSC公司:第35季度53 2008年第35页 35A30型 37K35型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Carillo}等人,《结构、系统和装置的非线性动力学》。第一届国际非线性动力学会议记录,2019年2月17日至20日,意大利罗马,NODYCON 2019。第一卷查姆:斯普林格。75-83(2020年;Zbl 1483.35182) 全文: 内政部 arXiv公司
恩里科·巴比埃拉托;马可·格里鲍多;毛罗·伊阿科诺 Map Reduce过程代数:一种描述并行环境中基于任务的有向无环图作业的形式。 (英语) Zbl 1475.68038号 Gribaudo,Marco(编辑)等人,《分析和随机建模技术及应用》。2019年ASMTA第25届国际会议,俄罗斯莫斯科,2019年10月21日至25日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12023, 85-99 (2020).MSC公司:68平方米 68英里11 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Barbierato}等人,Lect。票据计算。科学。12023,85-99(2020;Zbl 1475.68038) 全文: 内政部
蒂莫西·达夫;迈克尔·拉迪 有理图和曲线签名的数值等式测试。 (英语) Zbl 07300066号 Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。154-161 (2020).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Duff}和\textit{M.Ruddy},in:第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20-23日。纽约州纽约市:计算机协会(ACM)。154-161(2020年;兹bl 07300066) 全文: 内政部
瓦林,V.P。 小参数摆型系统周期解的计算。 (英语。俄文原件) Zbl 1459.34107号 计算。数学。数学。物理学。 60,第12期,1990-2006(2020); Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60,第12期,2055-2072(2020)。MSC公司:34C25型 34A45型 34A25型 34E10型 37C60个 34立方厘米 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Varin},计算。数学。数学。物理学。60,第12号,1990--2006(2020;Zbl 1459.34107);Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60,第12号,2055--2072(2020) 全文: 内政部
西尔维亚·加佐拉;米沙·基尔默(Misha E.Kilmer)。;詹姆斯·纳吉(James G.Nagy)。;奥古兹·塞梅奇;埃里克·米勒。 图像恢复和重建中边缘保持的内-外迭代方法。 (英语) 兹比尔1454.65012 反向探测。 36,第12号,文章ID 124004,33 p.(2020).MSC公司:65D18天 65层10 65层22 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{S.Gazzola}等人,《反问题》。36,第12号,文章ID 124004,33 p.(2020;Zbl 1454.65012) 全文: 内政部 arXiv公司
乔治亚娜·卡尔泰斯;穆罕默德·雷扎·穆萨维;哈古比尔·辛格 轩尼诗-米尔纳逻辑中的安全因果推理。 (英语) Zbl 1471.68133号 芬丹。通知。 173,编号2-3,217-251(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}等人,Fundam。通知。173,编号2--3,217--251(2020;Zbl 1471.68133) 全文: 内政部
阿布拉莫夫,S.A。;Ryabenko,A.A。;Khmelnov,D.E。 线性常微分方程和截断级数的正则解。 (英语。俄文原件) Zbl 1454.34026号 计算。数学。数学。物理学。 60,第1期,第1-14页(2020年); Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60,第1期,第4-17页(2020年)。MSC公司:34A25型 34A30型 34A05型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov}等人,计算。数学。数学。物理学。60,第1号,1-14(2020;Zbl 1454.34026);Zh的翻译。维奇尔。Mat.Mat.Fiz公司。60,第1号,第4--17号(2020年) 全文: 内政部
桑迪普·库马尔;应,嘉西;卡多佐(JoséVinícius de M。;丹尼尔·帕洛马尔(Daniel P.Palomar)。 通过谱约束进行结构化图学习的统一框架。 (英语) Zbl 1498.68246号 J.马赫。学习。物件。 21,第22号论文,60页(2020年).MSC公司:68T05型 05元50分 62甲12 62H22个 62H30型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Kumar}等人,J.Mach。学习。第21号决议,第22号论文,60页(2020年;Zbl 1498.68246) 全文: arXiv公司 链接
阿尔班Quadrat;乔治·雷根斯堡 计算多项式系数积分微分算子的多项式解和零化子。 (英语) Zbl 07244750号 Quadrat,Alban(编辑)等人,动力学系统中的代数和符号计算方法。基于为2013年2月4日至6日在法国格勒诺布尔举行的第五届系统结构和控制研讨会以及2014年7月7日至11日在荷兰格罗宁根举行的第二十一届网络和系统数学理论国际研讨会(MTNS 2014)的受邀会议撰写的文章。查姆:斯普林格。高级延迟动态。9, 87-114 (2020).MSC公司:4720万 PDF格式BibTeX公司 XML格式引用 \textit{A.Quadrat}和\textit{G.Regensburger},高级延迟动态。9,87-114(2020年;兹bl 07244750) 全文: 内政部 哈尔
托马斯·克鲁索;阿尔班Quadrat 线性函数系统的等价性。 (英语) Zbl 1448.93053号 Quadrat,Alban(编辑)等人,动力学系统中的代数和符号计算方法。基于为2013年2月4日至6日在法国格勒诺布尔举行的第五届系统结构和控制研讨会以及2014年7月7日至11日在荷兰格罗宁根举行的第二十一届网络和系统数学理论国际研讨会(MTNS 2014)的受邀会议撰写的文章。查姆:斯普林格。高级延迟动态。9, 53-86 (2020). 审核人:Krzysztof Gałkowski(齐埃罗娜·戈拉) MSC公司:93B25型 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Cluzeau}和\textit{A.Quadrat},高级延迟动态。9、53-86(2020年;Zbl 1448.93053) 全文: 内政部 哈尔
托马斯·克鲁索;克里斯托夫·库彻恩;阿尔班Quadrat;汤索,玛丽斯 Ore代数上线性系统的有效代数分析方法。 (英语) Zbl 1453.93042号 Quadrat,Alban(编辑)等人,动力学系统中的代数和符号计算方法。基于为2013年2月4日至6日在法国格勒诺布尔举行的第五届系统结构和控制研讨会以及2014年7月7日至11日在荷兰格罗宁根举行的第二十一届网络和系统数学理论国际研讨会(MTNS 2014)的受邀会议撰写的文章。查姆:斯普林格。高级延迟动态。9, 3-52 (2020). 审核人:克莱门蒂娜·姆拉德诺娃(索非亚) MSC公司:93B25型 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Cluzeau}等人,高级延迟动态。9、3--52(2020年;Zbl 1453.93042) 全文: 内政部 哈尔
Perminov,A.S.公司。;库兹涅佐夫,E.D。 利用计算机代数系统Piranha将Hori-Deprit方法应用于构造平均行星运动理论。 (英语) Zbl 1456.70028号 数学。计算。科学。 14,编号2,305-316(2020).MSC公司:2015年1月70日 70-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Perminov}和\textit{E.D.Kuznetsov},数学。计算。科学。14,编号2,305-316(2020;Zbl 1456.70028) 全文: 内政部
维克托·埃德纳尔。;亚历山大·彼得罗夫。 用标准形方法研究弹簧摆在1:1:2共振下的非线性振动。 (英语) Zbl 1456.70034号 数学。计算。科学。 第2号,第14页,第295-303页(2020年).MSC公司:70K28型 70E17型 37N15号 2005年3月37日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Edneral}和\textit{A.G.Petrov},数学。计算。科学。14,第2号,295--303(2020;Zbl 1456.70034) 全文: 内政部
阿尔贝托·阿尔梅奇;尤金尼奥·罗内斯·洛扎诺 使用Maple自动生成任意日期的地铁示意图。 (英语) Zbl 1456.90165号 数学。计算。科学。 193-207年第2期第14页(2020年).MSC公司:90立方厘米 68兰特 05C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Almech}和\textit{E.Roanes-Lozano},数学。计算。科学。14,第2号,193--207(2020;Zbl 1456.90165) 全文: 内政部
托马斯·德沃亚克;顾美美 (k)元(n)多维数据集的邻域连接。 (英语) Zbl 1460.05099号 申请。数学。计算。 379,文章ID 125237,8 p.(2020).MSC公司:05C40号 05C25号 68M10个 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.Dvořák}和\textit{M.-M.Gu},应用。数学。计算。379,文章ID 125237,8 p.(2020;Zbl 1460.05099) 全文: 内政部 arXiv公司
大卫·A·考克斯。 [卡洛斯·达安德里亚;艾丽西娅·迪肯斯坦;乔纳森·豪恩斯坦;哈尔·申克;西德曼,杰西卡] 多项式系统的应用。由卡洛斯·德安德里亚、艾丽西亚·迪肯斯坦、乔纳森·豪恩斯坦、哈尔·申克和杰西卡·西德曼贡献。 (英语) Zbl 1469.13001号 CBMS数学区域会议系列134.普罗维登斯,RI:美国数学学会(AMS),为数学科学会议委员会(CBMS)出版(ISBN 978-1-4704-5137-0/pbk;978-1-4740-5589-7/电子书)。ix,250页。(2020).MSC公司:13-02 2002年2月14日 第13页第15页 13第25页 2016年第14季度 14米25 52C25型 65H14型 68单位07 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Cox},多项式系统的应用。卡洛斯·德安德里亚(Carlos D'Andrea)、艾丽西娅·狄肯斯坦(Alicia Dickenstein)、乔纳森·豪恩斯坦(Jonathan Hauenstein,哈尔·申克(Hal Schenck)和杰西卡·西德曼(Jessica Sidman)提供了。普罗维登斯,RI:美国数学学会(AMS),为数学科学会议委员会(CBMS)出版(2020;Zbl 1469.13001) 全文: 内政部
安德烈亚斯·奥赫斯纳;雷萨姆·马克瓦迪 数值工程优化。计算机代数系统Maxima的应用。 (英语) 兹比尔1455.65004 查姆:施普林格(ISBN 978-3-030-43387-1/hbk;978-3-0.30-43388-8/电子书)。viii,第228页。(2020).MSC公司:65-01 65-04 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{A.Øchsner}和\textit{R.Makvandi},《数值工程优化》。计算机代数系统Maxima的应用。查姆:施普林格(2020;Zbl 1455.65004) 全文: 内政部
查鲁·C·阿加瓦尔。 线性代数和机器学习优化。一本教科书。 (英语) Zbl 1451.68002号 商会:施普林格出版社(ISBN 978-3-030-40343-0/hbk;978-3-030-40344-7/电子书)。第22页,第495页。(2020). 审核人:安德烈亚斯·维切特(里斯本) MSC公司:68-01 15-01 62-01 90-01 68T05型 68T07型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Aggarwal},线性代数和机器学习优化。一本教科书。查姆:施普林格(2020;Zbl 1451.68002) 全文: 内政部
张显达 人工智能的矩阵代数方法。 (英语) Zbl 1455.68010号 新加坡:Springer(ISBN 978-981-15-2769-2/hbk;978-981-5-2770-8/电子书)。xxxiv,820页。(2020). 审核人:卡洛斯·佩德罗·冈萨尔维斯(里斯本) MSC公司:68-02 15轴 68T01型 68T05型 68T07型 68T20型 68T42型 68瓦50 90C25型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{X.-D.Zhang},人工智能的矩阵代数方法。新加坡:施普林格(2020;Zbl 1455.68010) 全文: 内政部
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 (英语) Zbl 1468.68202号 J.汽车。推理 64,第1号,1-20(2020).MSC公司:68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Autom。推理64,No.1,1--20(2020;Zbl 1468.68202) 全文: 内政部
拉奥,阿努普;埃米尔·耶胡达约夫 通信复杂性和应用。 (英语) Zbl 1436.68005号 剑桥:剑桥大学出版社(ISBN 978-1-108-49798-5/hbk;978-1-108/67164-4/电子书)。十八、252页。(2020).MSC公司:68-02 64岁以下 68页 2006年第68季度 第68季度11 68单位05 68宽15 68周27 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Rao}和\textit{A.Yehudayoff},通信复杂性和应用。剑桥:剑桥大学出版社(2020;Zbl 1436.68005) 全文: 内政部
Alpunte,M。;A.昆卡-奥尔特加。;埃斯科瓦尔,S。;梅塞盖尔,J。 序排序方程程序模公理的部分求值框架。 (英语) Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110,文章ID 100501,第36页(2020).MSC公司:68号30 08A70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法程序。110,文章ID 100501,36 p.(2020;Zbl 1494.68048) 全文: 内政部