黄景浩;费多·苏科切夫 将值导出为\(τ\)-可测算子的双模。 (英语) Zbl 07837910号 Godefroy,Gilles(编辑)等人,《巴拿赫空间和相关领域的几何》。普罗维登斯,RI:美国数学学会(AMS)。程序。交响乐团。纯数学。106, 167-188 (2024).MSC公司:46磅52 47B07型 46升10 46B85号 PDF格式BibTeX公司 XML格式引用 \textit{J.Huang}和\textit{F.Sukochev},程序。交响乐团。纯数学。106167-188(2024年;兹bl 07837910) 全文: 内政部
德米特里·朱克 约束满足问题:是什么使问题变得简单。 (英语) Zbl 07823032号 Beliaev,Dmitry(编辑)等人,《2022年国际数学家大会》,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第3卷。第1-4节。柏林:欧洲数学学会(EMS)。1530-1552 (2023).MSC公司:03B70号 08A70号 2017年第68季度 2015年3月15日 68T27型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhuk},in:2022年国际数学家大会,ICM 2022,芬兰赫尔辛基,虚拟,2022年7月6日至14日。第3卷。第1-4节。柏林:欧洲数学学会(EMS)。1530--1552(2023;Zbl 07823032) 全文: 内政部 OA许可证
马里奥·罗曼 有效类别的Promonad和字符串图。 (英语) Zbl 07813638号 杰德(Jade)等硕士,第五届应用范畴理论国际会议论文集,ACT 2022,英国格拉斯哥,2022年7月18日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)380344-361(2023年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{M.Román},电子。程序。西奥。计算。科学。(EPTCS)380344--361(2023;Zbl 07813638) 全文: 内政部 arXiv公司
罗伯特·M·科尔利斯(Robert M.Corless)。;大卫·J·杰弗里。;阿扎尔·沙科里 在机械化数学环境中教授线性代数。 (英语) Zbl 07810727号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。第14101页、第113-129页(2023年)。MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{R.M.Corless}等人,Lect。注释计算。科学。14101、113--129(2023;Zbl 07810727) 全文: 内政部 arXiv公司
佐藤中田 可实现性模型中的并行性。 (英语) Zbl 07810571号 Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13923, 292-304 (2023).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Nakata},莱克特。注释计算。科学。13923、292--304(2023;Zbl 07810571) 全文: 内政部
Nazrul先生,伊斯兰教;阿德里安·波提奥;雷米·普雷贝特 实代数曲线上的连通性查询算法。 (英语) Zbl 07760779号 Dickenstein,Alicia(编辑)等人,第48届符号和代数计算国际研讨会论文集,ISSAC,挪威特罗姆索,2023年7月24日至27日。纽约州纽约市:计算机协会(ACM)。345-353 (2023).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Islam}等人,《第48届符号和代数计算国际研讨会论文集》,ISSAC,挪威特罗姆瑟,2023年7月24-27日。纽约州纽约市:计算机协会(ACM)。345--353(2023;Zbl 07760779) 全文: 内政部 arXiv公司
Victor Y·潘。;走吧,苏;栾、齐;赵亮 多项式零点和矩阵特征值的快速柯西和算法。 (英语) Zbl 07745717号 Mavronicolas,Marios(编辑),《算法与复杂性》。第十三届国际会议,CIAC 2023,拉纳卡,塞浦路斯,2023年6月13-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13898, 336-352 (2023).MSC公司:68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{V.Y.Pan}等人,Lect。注释计算。科学。13898、336--352(2023;Zbl 07745717) 全文: 内政部
帕斯卡·科伊兰;萨哈,苏巴扬 对称张量的线性时间完全分解和多对数精度。 (英语) Zbl 07745715号 Mavronicolas,Marios(编辑),《算法与复杂性》。第十三届国际会议,CIAC 2023,拉纳卡,塞浦路斯,2023年6月13-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13898, 308-322 (2023).MSC公司:68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran}和\textit{S.Saha},莱克特。注释计算。科学。13898、308--322(2023;Zbl 07745715) 全文: 内政部 arXiv公司
埃克哈德·希策 将八元傅里叶变换嵌入到(mathbb{R}^3)的几何代数和八元解析信号的极性表示中。 (英语) Zbl 1520.15013号 Hitzer,Eckhard(编辑)等人,《赋予图形和工程新几何代数以力量》,第七届国际研讨会,ENGAGE 2022,虚拟事件,2022年9月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13862, 123-134 (2023).MSC公司:15A67型 第15页第66页 94甲12 68单位05 42A38型 第42页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.Hitzer},莱克特。注释计算。科学。13862123-134(2023年;兹比尔1520.15013) 全文: 内政部
阿尔贝托·佩佩;琼·拉森比;巴勃罗·查康 使用图形变换网络通过几何代数建模预测蛋白质的三维坐标。 (英语) Zbl 1520.15015号 Hitzer,Eckhard(编辑)等人,《赋予图形和工程新几何代数以力量》,第七届国际研讨会,ENGAGE 2022,虚拟事件,2022年9月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13862, 83-95 (2023).MSC公司:15A67型 68单位05 65D17号 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pepe}等人,Lect。注释计算。科学。13862,83-95(2023;Zbl 1520.15015) 全文: 内政部
巴维尔·卢卡 关于二次曲线的几何代数中的适当点和不适当点以及通过给定航路点的二次曲线拟合。 (英语) 兹比尔1520.15014 Hitzer,Eckhard(编辑)等人,《赋予图形和工程新几何代数以力量》,第七届国际研讨会,ENGAGE 2022,虚拟事件,2022年9月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13862, 67-79 (2023).MSC公司:15A67型 第15页第66页 68单位05 65D17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Loučka},莱克特。注释计算。科学。13862,67-79(2023;Zbl 1520.15014) 全文: 内政部
德米特里·希洛科夫 几何代数中的非交换Vieta定理。 (英语) Zbl 1520.15008号 Hitzer,Eckhard(编辑)等人,《赋予图形和工程新几何代数以力量》,第七届国际研讨会,ENGAGE 2022,虚拟事件,2022年9月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13862, 28-37 (2023).MSC公司:第15页第66页 15A67型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{D.Shirokov},莱克特。注释计算。科学。13862,28-37(2023;Zbl 1520.15008) 全文: 内政部 arXiv公司
阿图拉斯·阿库斯;阿道夫斯·达吉斯 任意Cl_{p,q}Clifford代数中指数的计算。 (英语) Zbl 1520.15009号 Hitzer,Eckhard(编辑)等人,《赋予图形和工程新几何代数以力量》,第七届国际研讨会,ENGAGE 2022,虚拟事件,2022年9月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13862, 16-27 (2023).MSC公司:15A67型 第15页第66页 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Acus}和\textit{A.Dargys},Lect。注释计算。科学。13862,16-27(2023;Zbl 1520.15009) 全文: 内政部
安德鲁·汉密尔顿(Andrew J.S.Hamilton)。 超几何代数:几何代数的平方根。 (英语) Zbl 1520.15011号 Hitzer,Eckhard(ed.)等人,为图形和工程赋予新的几何代数权力。第七届国际研讨会,ENGAGE 2022,虚拟活动,2022年9月12日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13862, 3-15 (2023).MSC公司:15A67型 第15页第66页 15A75号 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.J.S.Hamilton},莱克特。注释计算。科学。13862,3-15(2023;Zbl 1520.15011) 全文: 内政部
Tomita、Haruka 通过左右应用程序实现平面可实现性。 (英语) Zbl 07830391号 Manea,Florin(编辑)等人,第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14-19日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216,第35条,第17页(2022年)。MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Tomita},LIPIcs——莱布尼茨国际程序。通知。216,第35条,第17页(2022;Zbl 07830391) 全文: 内政部
藤井秀一郎;尤尼岩马沙;基木拉 约束满足的量子方法。 (英语) Zbl 1530.18029号 Kishida,Kohei(编辑),《2021年第四届应用范畴理论国际会议论文集》,ACT 2021,英国剑桥,2021年7月12-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)372,289-305(2022)。MSC公司:18N10型 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Fujii}等人,《电子》。程序。西奥。计算。科学。(EPTCS)372,289--305(2022;Zbl 1530.18029) 全文: arXiv公司 链接
麦克德莫特,迪伦;塔尔莫乌斯塔卢 是什么造就了一个强大的单子? (英语) Zbl 07779295号 Jeremy Gibbons等人,《数学结构函数编程第九次研讨会论文集》,MSFP 2022,德国慕尼黑,2022年4月2日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)360、113-133(2022)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{D.Mcdermott}和\textit{T.Uustalu},电子。程序。西奥。计算。科学。(EPTCS)360、113--133(2022;Zbl 07779295) 全文: arXiv公司 链接
马西亚·莱莫斯·西尔瓦;Delfim F.M.托雷斯。 关于具有恒力收获的捕食模型的注记。 (英语) Zbl 1521.92072号 Tchemisova,Tatiana V.(编辑)等人,《动态控制与优化》。DCO 2021,葡萄牙阿威罗,2021年2月3日至5日。选定的修订稿。查姆:斯普林格。Springer程序。数学。统计数据407201-209(2022)。MSC公司:92D25型 34C60个 34天20分 PDF格式BibTeX公司 XML格式引用 \textit{M.Lemos-Silva}和\textit{D.F.M.Torres},Springer Proc。数学。Stat.407,201--209(2022;Zbl 1521.92072) 全文: 内政部 arXiv公司
马可·米兰尼斯;弗朗西斯科·兰扎托 带测试的Kleene代数上的局部完备性逻辑。 (英语) 兹比尔1524.68098 Singh,Gagandeep(编辑)等人,《静态分析》。第29届国际研讨会,SAS 2022,新西兰奥克兰,2022年12月5-7日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13790, 350-371 (2022).MSC公司:68纳米30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Milanese}和\textit{F.Ranzato},Lect。注释计算。科学。13790、350-371(2022年;Zbl 1524.68098) 全文: 内政部 arXiv公司 链接
萨米·布卢梭;圣地亚哥贝拉斯科·福雷罗;耶苏斯·安古洛;伊莎贝尔·布洛赫 用于信号和图像处理的max-plus代数中由矩阵表示的形态附加。 (英语) Zbl 1522.68685号 Baudyer,E-tienne(编辑)等人,《离散几何与数学形态学》。第二届国际联合会议,DGMM 2022,法国斯特拉斯堡,2022年10月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13493, 206-218 (2022).MSC公司:68平方英寸10 15A80型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Blusseau}等人,Lect。注释计算。科学。13493,206-218(2022;Zbl 1522.68685) 全文: 内政部 arXiv公司 哈尔
马库斯·西格尔;阿明·索塔尼耶 随机过程代数的速率提升——利用结构特性。 (英语) Zbl 1522.68371号 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 67-84 (2022).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Siegle}和\textit{A.Soltanieh},莱克特。注释计算。科学。13479,67-84(2022年;兹比尔1522.68371) 全文: 内政部 arXiv公司
伊戈尔·塞德拉尔;Johann J.Wannenburg。 通过测试将Kozen-Tiuryn逻辑嵌入到剩余的单排序Kleene代数中。 (英语) Zbl 07691325号 Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。2022年9月20日至23日,罗马尼亚Iași,第28届国际研讨会,WoLLIC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 221-236 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sedlár}和\textit{J.J.Wannenburg},Lect。注释计算。科学。13468、221--236(2022;Zbl 07691325) 全文: 内政部 arXiv公司
赵志光 广义模态代数的对应理论。 (英语) Zbl 07691315号 Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 53-69 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhao},Lect(左)。注释计算。科学。13468,53-69(2022;Zbl 07691315) 全文: 内政部 arXiv公司
亚历山大·普罗科彭亚 摆动阿特伍德机器周期运动的稳定性分析。 (英语) Zbl 1515.70021号 Boulier,François(编辑)等人,《科学计算中的计算机代数》。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 288-299 (2022). 审核人:塞尔吉·西蒙(朴茨茅斯) MSC公司:70年上半年 70H12型 2009年7月70日 70-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Prokopenya},莱克特。注释计算。科学。13366288-299(2022年;兹bl 1515.70021) 全文: 内政部
瓦伦丁·埃尔特戈夫;塔蒂亚娜·蒂托连科 关于均匀重力场中两体系统运动问题中的平衡位置。 (英语) Zbl 1530.70010号 Boulier,François(编辑)等人,科学计算中的计算机代数。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 165-184 (2022).MSC公司:70E55型 70-08 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Irtegov}和\textit{T.Titorenko},莱克特。注释计算。科学。13366,165--184(2022;Zbl 1530.70010) 全文: 内政部
安德烈·五·班什奇科夫。 符号-数字建模工具在陀螺稳定陀螺平衡分析中的应用。 (英语) Zbl 1521.70002号 Boulier,François(编辑)等人,《科学计算中的计算机代数》。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 51-61 (2022).MSC公司:70-08 70E05型 70E50型 70平方米 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Banshchikov},莱克特。注释计算。科学。13366,51-61(2022;Zbl 1521.70002) 全文: 内政部
阿布拉莫夫,S.A。;Khmelnov,D.E。;Ryabenko,A.A。 关于截断LODE的指数对数解中涉及的截断级数。 (英语) 兹比尔1518.34011 Boulier,François(编辑)等人,《科学计算中的计算机代数》。第24届国际研讨会,2022年8月22日至26日,土耳其格布泽,CASC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13366, 18-28 (2022).MSC公司:34A25型 34A30号 68瓦30 34-04 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Abramov}等人,Lect。注释计算。科学。13366,18-28(2022;Zbl 1518.34011) 全文: 内政部
哈维尔·费尔南德斯·德·博巴迪拉 [格雷厄尔,G.-M。;普菲斯特,G。] 拓扑等奇点:新视角下的旧问题(附G.-M.Greuel和G.Pfister关于单一). (英语) Zbl 1506.14010号 Cisneros-Molina,JoséLuis(编辑)等人,《奇异点几何和拓扑手册III》,Cham:Springer。145-202 (2022). 审核人:Aleksandr G.Aleksandrov(莫斯科) MSC公司:14B05型 第32页第15页 32S25美元 32S50型 PDF格式BibTeX公司 XML格式引用 \textit{J.F.deBobadilla},in:奇点几何和拓扑手册III.Cham:Springer。145-202(2022;Zbl 1506.14010) 全文: 内政部
保罗·博尔迪;弗拉维奥·弗里亚;塞巴斯蒂亚诺·维格纳 无向网络上的谱秩单调性。 (英语) 兹比尔1530.68197 Benito,Rosa Maria(编辑)等人,《复杂网络及其应用》,第十届国际会议论文集,Complex networks 2021,西班牙马德里,2021年11月30日至12月2日。第1卷。查姆:斯普林格。螺柱计算。智力。1015, 234-246 (2022).MSC公司:68兰特 05元50分 05C82号 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{P.Boldi}等人,Stud.Comput。智力。10152234-246(2022年;兹比尔1530.68197) 全文: 内政部 arXiv公司 链接
DeDeo,M.R。 关于换位图的能量。 (英语) Zbl 1500.05034号 弗雷德里克·霍夫曼(编辑),组合数学,图论和计算。第51届东南国际会议记录,SEICCGTC 2020,博卡拉顿,美国,2020年3月9日至13日。查姆:斯普林格。Springer程序。数学。《统计》第388、305-316页(2022年)。MSC公司:05元50分 05C25号 05C82号 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{M.R.DeDeo},施普林格程序。数学。Stat.388,305-316(2022;Zbl 1500.05034) 全文: 内政部
雷纳托·帕贾罗拉;苏特,苏珊娜·K。;拉斐尔·雷波尔;杨海燕 多维和多元数据的张量近似。 (英语) Zbl 07772863号 Oh zarslan,Evren(编辑)等人,《场和尺度的各向异性》。成像、几何和天文学各向异性可视化和处理研讨会论文集,德国达格斯图尔,2018年10月28日至11月2日。查姆:斯普林格。数学。视觉。,73-98 (2021).MSC公司:68单位05 15A69号 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{R.Pajarola}等人,in:场和尺度的各向异性。成像、几何和天文学各向异性可视化和处理研讨会论文集,德国达格斯图尔,2018年10月28日至11月2日。查姆:斯普林格。73-98(2021年;Zbl 07772863) 全文: 内政部
拉罗斯,贝尼特;佩塔·马尔科维奇;巴纳比·马丁;丹尼尔·保卢斯马;西亚尼·史密斯;斯坦尼斯拉夫·伊文 反身锦标赛QCSP。 (英语) 兹伯利07740913 Mutzel,Petra(编辑)等人,第29届欧洲算法年会。欧洲航天局2021年,葡萄牙里斯本(虚拟会议),2021年9月6日至8日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。204,第58条,第15页(2021年)。MSC公司:68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{B.Larose}等人,LIPIcs——莱布尼茨国际程序。通知。204,第58条,第15页(2021;Zbl 07740913) 全文: 内政部 arXiv公司
徐明;梅静怡;关、吉;于能坤 模型检验量子连续时间马尔可夫链。 (英语) Zbl 07730615号 Haddad,Serge(编辑)等人,第32届并发理论国际会议,CONCUR 20212021年8月24日至27日,虚拟会议。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。203,第13条,第17页(2021年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,LIPIcs——莱布尼茨国际程序。通知。203,第13条,第17页(2021;Zbl 07730615) 全文: 内政部 arXiv公司
阿明·索塔尼耶;马库斯·西格尔 求解转换率重建的双线性方程组。 (英语) Zbl 1496.68248号 Hojjat,Hossein(编辑)等人,《软件工程基础》,第九届国际会议,FSEN 2021,虚拟活动,2021年5月19日至21日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12818, 157-172 (2021).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Soltanieh}和\textit{M.Siegle},莱克特。注释计算。科学。12818、157--172(2021年;Zbl 1496.68248) 全文: 内政部
科内霍,M.尤金尼亚;杰苏斯·麦地那 右伴随代数与算子左剩余偏序集。 (英语) 兹比尔1495.68223 Ramanna,Sheela(编辑)等人,《粗糙集》。2021年9月19日至24日,斯洛伐克布拉迪斯拉发,IJCRS 2021国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12872, 180-191 (2021).MSC公司:68层37 03B52号 03E72型 2011年1月6日 08A70号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Cornejo}和\textit{J.Medina},莱克特。注释计算。科学。12872、180--191(2021年;Zbl 1495.68223) 全文: 内政部
A.马尼。 聚类分析的一般粗糙建模。 (英语) Zbl 1495.68229号 Ramanna,Sheela(编辑)等人,《粗糙集》。2021年9月19日至24日,斯洛伐克布拉迪斯拉发,IJCRS 2021国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12872, 75-82 (2021).MSC公司:68层37 08A70号 62H30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mani},莱克特。注释计算。科学。12872,75-82(2021;Zbl 1495.68229) 全文: 内政部 arXiv公司
沃尔克·斯特拉森 高斯消去不是最优的(1969年)。 (英语) Zbl 1529.68038号 Lewis,Harry R.(编辑),《创造未来的想法》。计算机科学的经典论文。马萨诸塞州剑桥:麻省理工学院出版社。293-296 (2021).MSC公司:68-03 65-03年 65层99 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Strassen},in:创造未来的想法。计算机科学的经典论文。马萨诸塞州剑桥:麻省理工学院出版社。293——296(2021年;Zbl 1529.68038)
都铎Jebelean 用于元素分析的启发式证明程序枣灰蝶属. (英语) Zbl 1485.68284号 Kamaredine,Fairouz(编辑)等人,《智能计算机数学》。2021年7月26日至31日,罗马尼亚蒂米苏拉第十四届国际会议,CICM 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12833130-134(2021年)。MSC公司:68伏15 26-01 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean},莱克特。注释计算。科学。12833,130-134(2021;Zbl 1485.68284) 全文: 内政部
尼古拉·奥西波夫。;阿列克谢·基特马诺夫。 重新讨论嵌套实根的简化。 (英语) Zbl 07497961号 Boulier,François(编辑)等人,《科学计算中的计算机代数》。2021年9月13日至17日,俄罗斯索契,CASC 2021第23届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12865, 293-313 (2021).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Osipov}和\textit{A.A.Kytmanov},莱克特。注释计算。科学。12865、293--313(2021;Zbl 07497961) 全文: 内政部
巴诺伊,阿莫茨;托尼·伯恩莱因;Zvi洛特克;大卫·佩勒;罗威茨,德罗尔 加权显微图像重建。 (英语) Zbl 1490.68270号 Bureš,Tomáš(编辑)等人,《SOFSEM 2021:计算机科学的理论与实践》。第47届计算机科学理论与实践当前趋势国际会议,SOFSEM 2021,Bolzano-Bozen,意大利,2021年1月25-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12607, 373-386 (2021).MSC公司:68平方英寸10 05元50分 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Bar-Noy}等人,Lect。注释计算。科学。12607373--386(2021年;Zbl 1490.68270) 全文: 内政部
米盖尔·伊万格利斯塔·阿瓦拉多;JoséCrispín,Ruíz-Pantaleón;巴勃罗苏亚雷斯-塞拉托 泊松几何中的符号和数值计算示例。 (英语) 兹比尔1502.53116 尼尔森,弗兰克(编辑)等人,《信息几何科学》。第五届国际会议,GSI 2021,巴黎,法国,2021年7月21日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12829, 200-208 (2021).MSC公司:第53页第17页 53-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Evangelista-Alvarado}等人,莱克特。注释计算。科学。12829,200--208(2021;Zbl 1502.53116) 全文: 内政部
豪尔赫·阿尔梅达;阿尔弗雷多·科斯塔 Profinite拓扑。 (英语) Zbl 1511.68176号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。615-652 (2021). 审核人:雅克·海诺(塔林) MSC公司:70年第68季度 08A70号 20立方米 54甲13 PDF格式BibTeX公司 XML格式引用 \textit{J.Almeida}和\textit{A.Costa},摘自:自动机理论手册。第一卷理论基础。柏林:欧洲数学学会(EMS)。615--652(2021年;Zbl 1511.68176) 全文: 内政部 arXiv公司
法布里西奥·门多扎·格拉纳达;马科斯·维拉格拉 图谱稀疏化的分布式算法及其在数据聚类中的应用。 (英语) Zbl 1483.68259号 Gentile,Claudio(编辑)等人,《图和组合优化:从理论到应用》。第18届科隆-温特图形与组合优化研讨会(CTW2020)会议记录,在线,2020年9月14日至16日。查姆:斯普林格。AIRO Springer系列。5, 403-413 (2021).MSC公司:68兰特 05C42号 05元50分 62H30型 2011年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{F.Mendoza-Granada}和\textit{M.Villagra},AIRO Springer Ser。5403——413(2021年;Zbl 1483.68259) 全文: 内政部 arXiv公司
泰洛尼,阿格尼斯·伊利亚 设计个性化数字活动,促进线性代数中的战略规划。 (英语) 兹比尔1473.97039 Magnaghi-Delfino,Paola(编辑)等人,《几何面》。II版。基于2020年10月27日至28日意大利米兰理工大学在线主办的国际会议。查姆:斯普林格。莱克特。注释Netw。系统。172, 287-298 (2021).MSC公司:97单位50 97小时60 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Telloni},莱克特。注释Netw。系统。172287--298(2021年;Zbl 1473.97039) 全文: 内政部
米雷拉·马纳雷西 格雷特·赫尔曼和有效的几何方法。 (英语) Zbl 1470.01005号 Magnaghi-Delfino,Paola(编辑)等人,《几何面》。II版。基于2020年10月27日至28日意大利米兰理工大学在线主办的国际会议。查姆:斯普林格。莱克特。注释Netw。系统。172, 223-241 (2021).MSC公司:01A60型 51-03 14-03 PDF格式BibTeX公司 XML格式引用 \textit{M.Manaresi},莱克特。注释Netw。系统。172、223--241(2021;Zbl 1470.01005) 全文: 内政部
保罗·布鲁内特 语言代数片段的完全公理化。 (英语) Zbl 07650824号 Fernández,Maribel(编辑)等人,第28届EACSL计算机科学逻辑年会,CSL 2020,西班牙巴塞罗那,2020年1月13日至16日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152,第11条,第15页(2020年)。MSC公司:68倍 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Brunet},LIPIcs——莱布尼茨国际程序。通知。152,第11条,第15页(2020;兹bl 07650824) 全文: 内政部 arXiv公司
阿德梅克,吉里耶 关于自由完全迭代代数。 (英语) Zbl 07650820号 Fernández,Maribel(编辑)等人,第28届EACSL计算机科学逻辑年会,CSL 2020,西班牙巴塞罗那,2020年1月13日至16日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152,第7条,第21页(2020年)。MSC公司:68倍 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek},LIPIcs——莱布尼茨国际程序。通知。152,第7条,第21页(2020;Zbl 07650820) 全文: 内政部 arXiv公司
米盖尔·库塞罗;埃尔科Lehtonen;罗兰·米克莱特;亨利·普拉德;理查德·吉尔斯 当标称类比比例不失效时。 (英语) Zbl 1517.68352号 Davis,Jesse(编辑)等人,《可扩展不确定性管理》。第14届国际会议,SUM 2020,意大利博赞-波尔扎诺,2020年9月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12322, 68-83 (2020).MSC公司:68T27型 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Couceiro}等人,Lect。注释计算。科学。12322、68-83(2020年;Zbl 1517.68352) 全文: 内政部 哈尔
尤金尼奥·罗内斯·洛扎诺 使用计算机代数系统在超车站的铁路联锁系统中寻找兼容的路线。 (英语) 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格式引用 \文本{E.Roanes Lozano},Lect。注释计算。科学。12291、528--542(2020;Zbl 1523.90077) 全文: 内政部
谢尔盖·阿布拉莫夫。;Khmelnov,Denis E。;Anna A.Ryabenko。 截断和无穷幂级数在线性常微分方程系数中的作用。 (英语) 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) 全文: 内政部
克劳斯·迪特·施韦;弗拉维奥·费拉罗蒂 反射式ASM的逻辑。 (英语) Zbl 1497.68177号 Raschke,Alexander(编辑)等人,《严格的基于状态的方法》。第七届国际会议,ABZ 2020,德国乌尔姆,2020年5月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12071, 93-106 (2020).MSC公司:04年第68季度 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-D.Schewe}和\textit{F.Ferrarotti},莱克特。注释计算。科学。12071,93-106(2020;Zbl 1497.68177) 全文: 内政部
安德烈·格雷内·佩特;莫里茨·舒博茨;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) 全文: 内政部
托拜厄斯·莫伊德 结合代数的幂零商和Baumslag-Solitar群的增商。 (英语) Zbl 1512.16043号 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12097, 125-130 (2020).MSC公司:2016年05月 68瓦30 16立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Moede},莱克特。注释计算。科学。12097、125-130(2020年;Zbl 1512.16043) 全文: 内政部
安德烈亚斯·斯特潘(Andreas-Stephan Elsenhans);约格·扬内尔 使用代数曲面进行计算。 (英语) Zbl 1506.14049号 Bigatti、Anna Maria(编辑)等人,《数学软件——ICMS 2020》。第七届国际会议,德国布伦瑞克,2020年7月13日至16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12097, 87-93 (2020).MSC公司:14G05年 11国道35号 14层28 11国道25号 11国集团50 2010年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{A.-S.Elsenhans}和\textit{J.Jahnel},莱克特。注释计算。科学。12097,87-93(2020;Zbl 1506.14049) 全文: 内政部
温弗里德·库思 多尺度图文法可以生成群和幺半群的Cayley图。 (英语) Zbl 1502.68155号 Gadducci,Fabio(编辑)等人,图变换。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 307-315 (2020).MSC公司:2012年第68季度 05C25号 68-04 PDF格式BibTeX公司 XML格式引用 \textit{W.Kurth},莱克特。注释计算。科学。12150307--315(2020;Zbl 1502.68155) 全文: 内政部
罗伯托·布鲁尼;乌戈·蒙塔纳里;马蒂奥·桑马蒂诺 树分解图的代数。 (英语) Zbl 1502.68213号 Gadducci,Fabio(编辑)等人,图变换。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 203-220 (2020).MSC公司:68兰特 05二氧化碳 05C25号 2012年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人,Lect。注释计算。科学。12150203-220(2020;Zbl 1502.68213) 全文: 内政部
马库斯·巴泽尔;弗拉基米尔·利西科夫 块张量的切片秩与代数结构张量的不可逆性。 (英语) Zbl 1524.68151号 Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170,第17条,第15页(2020年)。MSC公司:65年第68季度 15A69号 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{M.Bläser}和\textit{V.Lysikov},LIPIcs——莱布尼茨国际程序。通知。170,第17条,第15页(2020年;Zbl 1524.68151) 全文: 内政部
侯赛因·卡尤;玛格丽塔·鲁登科娃。;列奥尼德·艾布罗西莫夫。 关于无环路路由的代数理论。 (英语) Zbl 1490.68040号 Vishnevskiy,Vladimir M.(编辑)等人,《分布式计算机和通信网络》。第23届国际会议,2020年DCCN,俄罗斯莫斯科,2020年9月14日至18日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12563, 161-175 (2020).MSC公司:68M10个 68个M12 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{H.Khaue}等人,Lect。注释计算。科学。12563、161--175(2020年;Zbl 1490.68040) 全文: 内政部
法布里奇奥·基诺维塞;亚历克斯·格里兹洛夫;杰尔·赫罗德;安德烈·克尼斯佩尔;马可·佩隆;埃里克·波斯特;安德烈·维德拉 idris ct公司:一个在Idris中进行范畴理论的图书馆。 (英语) Zbl 07453982号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32326246-254(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{F.Genovese}等人,《电子》。程序。西奥。计算。科学。(EPTCS)323246-254(2020;Zbl 07453982) 全文: arXiv公司 链接
布鲁诺加夫拉诺维奇 使用梯度下降学习函子。 (英语) Zbl 07453981号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)323230-245(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{B.Gavranović},电子。程序。西奥。计算。科学。(EPTCS)323230--245(2020;Zbl 07453981) 全文: arXiv公司 链接
迈卡,暂停;克莉丝汀·赫利希;詹姆斯·费尔班克斯 科学模型增强的合成框架。 (英语) Zbl 07453978号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)323172-182(2020)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{M.Halter}等人,《电子》。程序。西奥。计算。科学。(EPTCS)323172-182(2020;兹bl 07453978) 全文: arXiv公司 链接
菲利普·约翰森·弗雷德;乔恩·艾塔克;杰弗里·胡莱特 高阶动作时序逻辑的Topos语义。 (英语) Zbl 07453977号 Baez,John(ed.)等人,《2019年应用范畴理论论文集》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)323161-171(2020)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnson-Freyd}等人,《电子》。程序。西奥。计算。科学。(EPTCS)323161-171(2020;Zbl 07453977) 全文: arXiv公司 链接
乔瓦尼·德·费利塞;康斯坦蒂诺斯·梅恰内齐迪斯;亚历克西斯·图米 功能性问题回答。 (英语) Zbl 07453972号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32384-94(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{G.de Felice}等人,《电子》。程序。西奥。计算。科学。(EPTCS)323、84--94(2020;Zbl 07453972) 全文: arXiv公司 链接
尼古拉斯·贝尔 复合重写系统的痕迹和痕迹分析。 (英语) Zbl 07453970号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32344-71(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr},电子。程序。西奥。计算。科学。(EPTCS)323、44--71(2020;Zbl 07453970) 全文: arXiv公司 链接
安东尼·德尔佩赫 单体范畴的自治。 (英语) Zbl 07453969号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)323,24-43(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{A.Delpeuch},电子。程序。西奥。计算。科学。(EPTCS)323,24-43(2020;Zbl 07453969) 全文: arXiv公司 链接
弗拉基米尔·扎姆德日耶夫 反映代数紧函子。 (英语) Zbl 07453968号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32315-23(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{V.Zamdzhiev},电子。程序。西奥。计算。科学。(EPTCS)323,15--23(2020;Zbl 07453968) 全文: arXiv公司 链接
安东尼·德尔佩赫 一种用于分面数据流程序的完整语言。 (英语) Zbl 07453967号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3231-14(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{A.Delpeuch},电子。程序。西奥。计算。科学。(EPTCS)323,1-14(2020;Zbl 07453967) 全文: arXiv公司 链接
多里安·弗洛雷斯库;英格兰,马修 改进了分类器的交叉验证,分类器可以进行算法选择,从而在不影响输出正确性的情况下最小化运行时。 (英语) Zbl 07441081号 Daniel Slamanig(编辑)等人,《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11989341-356(2020年)。MSC公司:68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{D.Florescu}和\textit{M.英格兰},莱克特。注释计算。科学。11989、341--356(2020;Zbl 07441081) 全文: 内政部 arXiv公司
安娜·C·卡玛戈斯·库托;马克·莫雷诺(Marc Moreno Maza);大卫·林德;大卫·J·杰弗里。;罗伯特·M·科尔利斯(Robert M.Corless)。 多项式矩阵的综合因子。 (英语) Zbl 07441062号 Daniel Slamanig(编辑)等人,《计算机和信息科学的数学方面》。2019年11月13日至15日在土耳其格布泽举行的2019年MACIS第八届国际会议。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11989, 80-88 (2020).MSC公司:68倍 65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit{A.C.C.Couto}等人,Lect。注释计算。科学。11989,80-88(2020;Zbl 07441062) 全文: 内政部
阿明·索塔尼耶;马库斯·西格尔 它有时可以工作:一种用于修复随机过程代数模型的提升算法。 (英语) 兹比尔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方程的矩阵孤子解。 (英语) 兹比尔1483.35182 Lacarbonara,Walter(编辑)等人,《结构、系统和设备的非线性动力学》。2019年2月17日至20日,意大利罗马,NODYCON 2019,第一届国际非线性动力学会议记录。第一卷查姆:斯普林格。75-83 (2020).MSC公司:第35季度53 35C08型 35A30型 37K35型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Carillo}等人,in:结构、系统和设备的非线性动力学。第一届国际非线性动力学会议记录,2019年2月17日至20日,意大利罗马,NODYCON 2019。第一卷查姆:斯普林格。75-83(2020年;Zbl 1483.35182) 全文: 内政部 arXiv公司
阿纳·库克洛 空间和非行为团体承认在希尔伯特空间中存在粗略的嵌入(以Arzhantseva、Guentner、Osajda和Špakula命名)。(Espaces et groupes non-exacts admentant un plogement grossier dans un espace de Hilbert[d'après Arzhantseva,Guentner,Osajda,Špakula]。) (英语) Zbl 1528.46019号 塞米纳伊尔·布尔巴吉。第2018/2019卷,1151-1165年博览会。1948年至2018/19年的Avec表作者姓名。巴黎:法国数学协会(SMF)。Astérisque 422149-172,Exp.No.1154(2020)。MSC公司:46B85号 65楼20层 20F06年 05C25号 43A07型 PDF格式BibTeX公司 XML格式引用 \textit{A.Khukhro},Astérisque 422,149--172,Exp.No.1154(2020;Zbl 1528.46019) 全文: 内政部
恩里科·巴比埃拉托;马可·格里鲍多;毛罗·伊阿科诺 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) 全文: 内政部
Bouman,Niek J。;尼尔斯·德弗瑞德 有理数上Moore-Penrose伪逆安全计算的一种实用方法。 (英语) Zbl 07314293号 Conti,Mauro(编辑)等人,《应用密码学和网络安全》。2020年10月19-22日在意大利罗马举行的ACNS 2020第18届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12146, 398-417 (2020).MSC公司:68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{N.J.Bouman}和\textit{N.de Vreede},莱克特。注释计算。科学。12146,398--417(2020;Zbl 07314293) 全文: 内政部
维克托·列万多夫斯基;托拜厄斯·梅兹拉夫;扎伊德,卡里姆·阿布 (mathbb{Z})上自由非交换Gröbner基的计算单数:Letterplace. (英语) Zbl 07300086号 Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。312-319 (2020).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Levandovskyy}等人,in:第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20-23日。纽约州纽约市:计算机协会(ACM)。312--319(2020;Zbl 07300086) 全文: 内政部 arXiv公司
维克托·列万多夫斯基;汉斯·舍内曼;扎伊德,卡里姆·阿布 信件位置–一个子系统单一用于通过字母嵌入使用自由代数进行计算。 (英语) Zbl 1514.68327号 Mantzaflaris,Angelos(编辑),第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20日至23日。纽约州纽约市:计算机协会(ACM)。305-311 (2020).MSC公司:68瓦30 13-04 14-04 PDF格式BibTeX公司 XML格式引用 \textit{V.Levandovskyy}等人,in:第45届符号和代数计算国际研讨会论文集,ISSAC’20,希腊卡拉马塔,2020年7月20-23日。纽约州纽约市:计算机协会(ACM)。305-311(2020年;兹bl 1514.68327) 全文: 内政部
蒂莫西·达夫;迈克尔·拉迪 有理图和曲线签名的数值等式测试。 (英语) 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;Zbl 07300066) 全文: 内政部
米查·罗纳 关于有限有界严格宽度齐次二元核的一阶展开式的关系宽度。 (英语) Zbl 1498.03071号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。958-971 (2020).MSC公司:03C13号机组 05年3月 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wrona},在:2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2020,虚拟活动,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。958-971(2020年;Zbl 1498.03071) 全文: 内政部 arXiv公司
克莱门斯,抓斗手;Wan Fokkink公司 一个完整的1-自由正则表达式模双相似性的证明系统。 (英语) Zbl 1502.68192号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。465-478 (2020).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Grabmayer}和\textit{W.Fokkink},摘自:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。465--478(2020年;Zbl 1502.68192) 全文: 内政部 arXiv公司 链接
曼纽尔·博迪尔斯基;维德·帕库萨;雅库布·里德瓦尔 定点逻辑中的时间约束满足问题。 (英语) Zbl 1498.08003号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。237-251 (2020).MSC公司:08A70号 03B70号 08A40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》,LICS 2020,虚拟事件,2020年7月8-11日。纽约州纽约市:计算机协会(ACM)。237--251(2020;Zbl 1498.08003) 全文: 内政部 arXiv公司
雅克·卡雷特;Farmer,William M。;亚斯敏·沙罗达 利用理论陈述中包含的信息。 (英语) Zbl 1455.68255号 Benzmüller,Christoph(编辑)等人,《智能计算机数学》。第十三届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12236, 55-70 (2020).MSC公司:68V20型 08A70号 68版本30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人,Lect。注释计算。科学。12236,55-70(2020;Zbl 1455.68255) 全文: 内政部 arXiv公司
西汉斯·莫汉蒂;莱恩·奥唐纳;佩德罗·帕雷德斯 各种程度的显式近Ramanujan图。 (英语) Zbl 1509.68206号 Makarychev,Konstantin(ed.)等人,第52届ACM SIGACT计算理论年度研讨会论文集,STOC’20,芝加哥,伊利诺伊州,美国,2020年6月22日至26日。纽约州纽约市:计算机协会(ACM)。510-523 (2020).MSC公司:68兰特 05元50分 05C85号 15B52号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohanty}等人,in:第52届ACM SIGACT计算理论年度研讨会论文集,STOC’20,芝加哥,伊利诺伊州,美国,2020年6月22日至26日。纽约州纽约市:计算机协会(ACM)。510-523(2020年;Zbl 1509.68206) 全文: 内政部 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},高级延迟Dyn。9、87-114(2020;Zbl 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) 全文: 内政部 哈尔
奥德雷格夫;托马斯·维迪克 核规范中的降维界限。 (英语) Zbl 1452.46017号 Klartag,Bo'az(编辑)等人,《函数分析的几何方面》。2017-2019年以色列研讨会(GAFA)。第二卷。查姆:斯普林格。莱克特。数学笔记。2266, 279-299 (2020). 审核人:米哈伊尔·奥斯特罗夫斯基(纽约) MSC公司:46B85号 30升05 46个B07 51楼30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Regev}和\textit{T.Vidick},莱克特。数学笔记。2266279--299(2020年;Zbl 1452.46017) 全文: 内政部 arXiv公司 链接
奥古兹·塞尔维托比;赛尔·宏碁;穆拉特·曼果鲁;塞夫德艾卡纳特 各种稀疏结构对并行性的影响以及揭示这些结构的算法。 (英语) 兹比尔07225630 Grama,Ananth(编辑)等人,《计算科学和工程中的并行算法》。查姆:Birkhäuser。模型。模拟。科学。工程技术。,35-62 (2020).MSC公司:68瓦10 05B20号 05元50分 65层50 2005年5月 15A20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Selvitopi}等人,in:计算科学和工程中的并行算法。Cham:Birkhäuser。35-62(2020年;Zbl 07225630) 全文: 内政部
米歇尔·哈比卜;拉拉·穆阿塔迪德;邹梦川 近似模块分解是困难的。 (英语) 兹比尔1453.68133 Changat,Manoj(编辑)等人,《算法和离散应用数学》。第六届国际会议,2020年2月13日至15日,印度海得拉巴,CALDAM 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12016, 53-66 (2020).MSC公司:68兰特 05C25号 05C70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Habib}等人,Lect。注释计算。科学。12016,53-66(2020;Zbl 1453.68133) 全文: 内政部
沃尔夫拉姆·科普夫 正交多项式和计算机代数。 (英语) Zbl 1443.33019号 Foupoagnigni,Mama(编辑)等人,《正交多项式》。2018年10月5日至12日,喀麦隆杜阿拉,AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆:Birkhäuser。导师。附表。数学研讨会。科学。,479-493 (2020).MSC公司:33立方厘米 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Koepf},in:正交多项式。2018年10月5日至12日,喀麦隆杜阿拉,AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆:Birkhäuser。479-493(2020年;兹比尔1443.33019) 全文: 内政部
沃尔夫拉姆·科普夫 计算机代数、幂级数和求和。 (英语) Zbl 1443.33035号 Foupoagnigni,Mama(编辑)等人,《正交多项式》。2018年10月5日至12日,喀麦隆杜阿拉,AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆:Birkhäuser。导师。附表。数学研讨会。科学。,113-136 (2020).MSC公司:33英尺10英寸 33立方厘米20 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Koepf},in:正交多项式。2018年10月5日至12日,喀麦隆杜阿拉,AIMS-Volkswagen Stiftung第二届正交多项式及其应用介绍研讨会论文集。查姆:Birkhäuser。113-136(2020年;兹bl 1443.33035) 全文: 内政部
什蒂凡·居尔基;米哈伊尔·克林;马坦Ziv-Av 重温了26个顶点上的Paulus-Rozenfeld-Thompson图以及相关的组合结构。 (英语) 兹比尔1442.05248 Jones,Gareth A.(编辑)等人,代数图论中的同构、对称和计算。2016年10月3日至7日,捷克共和国皮尔森,根据代数图论研讨会上的演示文稿选出的论文。查姆:斯普林格。Springer程序。数学。Stat.305,73-154(2020年)。MSC公司:05E30年 05年05月 62克10 PDF格式BibTeX公司 XML格式引用 \textit{Š.Gyürki}等人,施普林格程序。数学。Stat.305,73--154(2020;Zbl 1442.05248) 全文: 内政部
巴彻、阿克塞尔;曼纽尔·考尔斯;Rika Yatchak公司 正八分位三维晶格模型的继续分类。 (英语。法语摘要) Zbl 1440.05017号 2016年7月4日至8日,加拿大温哥华,FPSAC,第28届正式幂级数和代数组合学国际会议论文集。南希:协会。离散数学与理论计算机科学(DMTCS)。离散数学。西奥。计算。科学。,程序。,95-106 (2020).MSC公司:2015年1月5日 05-08 60克50 PDF格式BibTeX公司 XML格式引用 \textit{A.Bacher}等人,in:第28届形式幂级数和代数组合学国际会议论文集,FPSAC 2016,加拿大温哥华,2016年7月4-8日。南希:协会。离散数学与理论计算机科学(DMTCS)。95-106(2020年;Zbl 1440.05017) 全文: arXiv公司 链接
玛丽亚·阿尔普恩特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 结合性公理和交换性公理的同胚嵌入模组合。 (英语) Zbl 1524.68068号 弗雷德·梅斯纳德(编辑)等,基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11408, 38-55 (2019).MSC公司:68纳米30 03B70号 08A70型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。11408、38-55(2019年;Zbl 1524.68068) 全文: 内政部 arXiv公司
格雷厄姆·科尔莫德;克里斯·希基 线性代数的有效交互证明。 (英语) Zbl 07650281号 Lu,Pinyan(编辑)等,第30届算法与计算国际研讨会,2019年国际会计准则理事会,上海财经大学,中国上海,2019,12月8-11日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。149,第48条,第19页(2019年)。MSC公司:68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{G.Cormode}和\textit{C.Hickey},LIPIcs——莱布尼茨国际程序。通知。149,第48条,第19页(2019;兹bl 07650281) 全文: 内政部
Jack Murtagh先生;奥马尔·莱因戈尔德;亚伦·西德福德;萨利尔·瓦丹 小空间中随机游动的确定逼近。 (英语) Zbl 1528.68314号 Achlioptas,Dimitris(编辑)等人,《近似、随机化和组合优化》。算法与技术,第22届国际会议,约2019年,第23届国际会议(随机2019年),马萨诸塞州剑桥麻省理工学院,2019年9月20日至22日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。145,第42条,第22页(2019年)。MSC公司:68兰特 05元50分 05C81号 65年第68季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{J.Murtagh}等人,LIPIcs——莱布尼茨国际程序。通知。145,第42条,第22页(2019;兹bl 1528.68314) 全文: 内政部
莱恩·奥唐纳;谢里尔·施拉姆 Sherali-Adams反击。 (英语) Zbl 1528.68318号 Shpilka,Amir(编辑),第34届计算复杂性会议,CCC 2019,新泽西州新不伦瑞克,2019年7月18-20日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。137,第8条,第30页(2019年)。MSC公司:68兰特 05元50分 05立方厘米80 65年第68季度 90C05(二氧化碳) 90立方厘米27 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.O'Donnell}和\textit{T.Schramm},LIPIcs——莱布尼茨国际程序。通知。137,第8条,第30页(2019年;Zbl 1528.68318) 全文: 内政部
查尔斯·卡尔森;坎德拉塞卡兰;Chang,Xien-Chhih县;内奥诺里·卡基穆拉;亚历山德拉·科拉 对称矩阵签名的谱方面。 (英语) Zbl 1507.68225号 Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第81条,第13页(2019年)。MSC公司:68兰特 05C22号 05元50分 05C70号 05C85号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Carlson}等人,LIPIcs——莱布尼茨国际程序。通知。138,第81条,第13页(2019年;Zbl 1507.68225) 全文: 内政部
安德烈·布拉托夫(Andrei A.Bulatov)。;斯坦尼斯拉夫·伊文 从另一侧看到的近似计数CSP。 (英语) Zbl 1499.68238号 Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第60条,第14页(2019年)。MSC公司:68兰特 08A70号 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Bulatov}和\textit{S.ivn},LIPIcs——莱布尼茨国际程序。通知。138,第60条,第14页(2019年;兹bl 1499.68238) 全文: 内政部 arXiv公司
布里塞诺、雷蒙多;安德烈·布拉托夫(Andrei A.Bulatov)。;维克托·达尔摩;Larose,贝诺?t 关系结构中的可拆卸性、连通性和混合性。 (英语) Zbl 1503.08001号 Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第29条,第15页(2019年)。MSC公司:08A70号 05C90年 60摄氏度05 87年第68季度 82B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Briceño}等人,LIPIcs——莱布尼茨国际程序。通知。132,第29条,第15页(2019年;Zbl 1503.08001) 全文: 内政部
布兰德,科尼利厄斯 用张量修补颜色。 (英语) Zbl 1486.68246号 Bender,Michael A.(编辑)等人,第27届欧洲算法年会,《2019年欧洲账户体系》,德国慕尼黑/加兴,2019年9月9日至11日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。144,第25条,第16页(2019年)。MSC公司:68周05 05C15号 05元50分 05C85号 15A75号 68年第27季度 68兰特 68瓦30 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.Brand},LIPIcs——莱布尼茨国际程序。通知。144,第25条,第16页(2019年;Zbl 1486.68246) 全文: 内政部