×

找到4478个文档(结果1-100)

考古学和广义Kadomtsev-Petviashvili等级。 (英语) Zbl 07807752号

Magnot,Jean-Pierre(编辑),差异及其应用的最新进展。2022年7月18日至20日,法国格勒诺布尔格勒诺布尔阿尔卑斯大学AMS-EMS-SMF特别会议。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。794, 211-222 (2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有简单正交点的品种的投影平滑。 arXiv公司:2403.04167

预印本,arXiv:2403.04167[math.AG](2024)。
BibTeX公司 引用
全文: arXiv公司

验证了平稳迭代线性解算器的正确性、准确性和收敛性:Jacobi方法。 (英语) Zbl 07810733号

Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 206-221 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Isabelle/HOL中的范畴理论是元逻辑研究的基础。 (英语) Zbl 07810724号

Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 69-83 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用

标称AC匹配。 (英语) Zbl 07810723号

Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 53-68 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

何继峰(Jifeng He)在牛津大学及以后:一种欣赏。 (英语) Zbl 07810649号

Bowen,Jonathan P.(编辑)等人,《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆:斯普林格。莱克特。注释计算。科学。14080, 3-18 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:参数随机系统的数据驱动的正确设计控制。 (英语) Zbl 07807963号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

与可积矩阵层次有关的柯西问题。 (英语。俄文原件) Zbl 1521.37071号

西奥。数学。物理学。 216,第2期,1124-1141(2023); 来自Teor的翻译。材料Fiz。216,第2期,251-270(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动程序推理中的符号计算。 (英语) Zbl 1529.68080号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于利用不完美观察者的近乎真实的意图欺骗计划。 (英语) Zbl 1529.68063号

Fang,Fei(编辑)等,《安全决策与博弈论》。第13届国际会议,2022年10月26日至28日,美国宾夕法尼亚州匹兹堡,GameSec 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13727, 67-86 (2023).
MSC公司:68平方米25 91A80型
PDF格式BibTeX公司 XML格式引用

辅助部分数组标记Petri网结构。 (英语) Zbl 1528.68255号

Barneva,Reneta P.(编辑)等人,组合图像分析。第21届国际研讨会,IWCIA 2022,墨西拿,意大利,2022年7月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13348, 189-203 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

哈密顿系统中强共振条件的计算。 (英语。俄文原件) Zbl 1527.70002号

计算。数学。数学。物理学。 63,第5号,687-703(2023); Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63,第5期,697-714(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

霍罗什金·托尔斯泰的量子超代数方法。 (英语。俄文原件) Zbl 1523.81095号

西奥。数学。物理学。 215,编号1,560-585(2023); 来自Teor的翻译。材料Fiz。215,第1期,121-149(2023)。
PDF格式BibTeX公司 XML格式引用

高斯含时电场中的量子库仑问题的路径积分形式。 (英语。俄文原件) Zbl 1523.81118号

西奥。数学。物理学。 215,编号1,551-559(2023); 来自Teor的翻译。材料Fiz。215,第1期,第111-120页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份