×

找到18563份文件（结果1-100）

最新的 引文 关联
Josuat Vergès，马蒂厄;菲利普·纳多

通过簇复合体研究对偶辫子幺半代数的Koszulity。（Koszulitéde L'Algèbre du Monoíde du du doubal destresses via les complex D'Amas） （英语。法语摘要） 兹伯利07849899

安。数学。布莱斯·巴斯卡 30，第2期，141-188（2024）.
审核人：侯赛因·法里迪安（克莱姆森）
MSC公司：20层55 36楼20层 13层60 18米70
PDF格式BibTeX公司 XML格式引用
\textit{M.Josuat-Vergès}和\textit{P.Nadeau}，Ann.数学。布莱斯·帕斯卡30，No.2，141--188（2024；Zbl 07849899）
全文： 内政部 arXiv公司
卢西亚诺·K·荒木。;博尔赫斯（Rafael B.de R.Borges）。;尼古拉斯·迪卡蒂·P·达席尔瓦。;舒志旺

高分辨率无粘性和粘性锥形喷嘴流的验证和验证。 （英语） Zbl 07846931号

Commun公司。申请。数学。计算。 6，第1期，533-549（2024）.
MSC公司：76J20 76升05 76号06 6500万06
PDF格式BibTeX公司 XML格式引用
\textit{L.K.Araki}等人，Commun。申请。数学。计算。6，编号1，533--549（2024；Zbl 07846931）
全文： 内政部
克里斯·鲍曼;艾米丽·诺顿;何塞·西门塔尔

在单位根上的分圆Hecke代数的单位表示：组合分类和BGG分辨率。 （英语） Zbl 07825894号

J.Inst.数学。朱西厄 第2期第23期，第557-608页（2024年）.
审核人：恩里科·贾巴拉（威尼斯）
MSC公司：20C08型 36楼20层 2007年7月57日
PDF格式BibTeX公司 XML格式引用
\textit{C.Bowman}等人，《数学研究所杂志》。Jussieu 23，No.2，557--608（2024；Zbl 07825894）
全文： 内政部 arXiv公司
OA许可证
萨拉·法里迪;Farrokhi D.G.、Mohammad D.G。;罗亚·古尔巴尼;亚兹丹·波尔（Ali Akbar Yazdan Pour）

单项式理想的细胞分辨率及其Artian约化。 （英语） Zbl 07808752号

J.纯应用。代数 228，第6号，文章ID 107608，28 p.（2024）.
MSC公司：13C70型 2013年02月 13层55 05E40型 05E45型
PDF格式BibTeX公司 XML格式引用
\textit{S.Faridi}等人，J.Pure Appl。代数228，第6号，文章ID 107608，28页（2024；Zbl 07808752）
全文： 内政部 arXiv公司
OA许可证
迈克尔·巴塔宁;马丁·马克尔

操作数、操作数类别和blob复合体。 （英语） Zbl 07805345号

申请。类别。结构。 32，第1号，第6号论文，49页（2024年）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18个60毫米 55单元15 81T05号 57兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Batanin}和\textit{M.Markl}，应用。类别。结构。32，第1号，第6号论文，49页（2024；Zbl 07805345）
全文： 内政部 arXiv公司
OA许可证
安东尼奥·卡博尼;何塞·费尔南多。

半代数集之间的surpjective Nash映射。 （英语） Zbl 07801724号

高级数学。 438，文章ID 109288，57 p.（2024）.
审核人：何塞·哈维尔·埃塔约（马德里）
MSC公司：第14页 14第20页 58A07型 第14页第15页 57兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Carbone}和\textit{J.F.Fernando}，高级数学。438，文章ID 109288，57 p.（2024；Zbl 07801724）
全文： 内政部 arXiv公司
OA许可证
耿祥国;王佳;王克东;李若明

时空孤子区域中具有加权Sobolev初始数据的复杂短脉冲正流的孤子分辨率。 （英语） Zbl 07801715号

J.差异。方程 386, 214-268 (2024).
审核人：尤金·波斯特尼科夫（库尔斯克）
MSC公司：51年第35季度 2015年第35季度 37K15型 35C08型 35C20美元 35B40码 78A60型 30埃15 41A60型
PDF格式BibTeX公司 XML格式引用
\textit{X.Geng}等人，J.Differ。方程386214-268（2024；Zbl 07801715）
全文： 内政部
玛丽亚·阿尔贝里奇·卡拉米尼亚纳;乔尔迪·古尔迪亚;恩里克·纳特;若阿金·罗埃

无限深度的估值。 （英语） Zbl 1531.13002号

Commun公司。代数 52，第1号，359-370（2024）.
审核人：卡洛斯·加林多（卡斯泰隆）
MSC公司：13甲18 12月10日 12J20型 第14页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberich-Carramiñana}等人，Commun。代数52，No.1，359--370（2024；Zbl 1531.13002）
全文： 内政部 arXiv公司
柯林斯，特里斯坦;塞巴斯蒂安·皮卡德;姚成东

通过二次曲线变换的切线束的稳定性。 （英语） Zbl 07782030号

Commun公司。纯应用程序。数学。 77，编号1，284-371（2024）.
MSC公司：81第05页 60J35型 14甲15 第14页第15页 58A30型 53二氧化碳 53立方厘米 53立方38
PDF格式BibTeX公司 XML格式引用
\textit{T.Collins}等人，Commun。纯应用程序。数学。77，第1号，284--371（2024；Zbl 07782030）
全文： 内政部 arXiv公司
Molina Samper，B。;帕尔马·马尔克斯，J。;桑斯·桑切斯，F。

广义解析函数奇点的分层约简。 （英语） Zbl 1529.14008号

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 118，第1号，第4号论文，28页（2024年）.
审核人：托比亚斯·凯泽（帕索）
MSC公司：第14页第15页 第14页，共15页 16周60 32C05型 32S45系列
PDF格式BibTeX公司 XML格式引用
\textit｛B.Molina Samper｝等人，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 118，第1号，第4号论文，28页（2024年；Zbl 1529.14008）
全文： 内政部 arXiv公司
OA许可证
弗朗西丝卡·乔菲;大卫·弗朗哥;卡明·塞萨

舒伯特变种的一个有效分解定理。 （英语） Zbl 1532.14016号

J.塞姆。计算。 121，文章ID 102238，第17页（2024）.
审核人：Aleksandr G.Aleksandrov（莫斯科）
MSC公司：14B05型 14月15日 第14页第15页 14层45层 32系列60 58肯尼亚先令 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛F.Cioffi｝等人，J.Symb。计算。121，文章ID 102238，17 p.（2024；Zbl 1532.14016）
全文： 内政部 arXiv公司
OA许可证
亚历山大·库兹涅佐夫;Evgeny Shinder公司

奇异性和退化的分类吸收。 （英语） Zbl 07852555号

埃皮约克·德盖姆。阿尔及利亚。，EPIGA公司 2023年，为纪念克莱尔·沃辛，规范卷，第12条，第42页（2023年）.
MSC公司：14层08 14D06日 第14页第15页 14J45型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kuznetsov}和\textit{E.Shinder}，埃皮约克·德盖姆。阿尔盖布。，EPIGA 2023，第12条，第42页（2023；Zbl 07852555）
全文： 内政部 arXiv公司
来自阿斯塔·哈尔克;约根·维拉德森

一阶逻辑的朴素证明：分析完备性的最小示例。 （英语） Zbl 07850759号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 468-480 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.H.From}和\textit{J.Villadsen}，Lect。注释计算。科学。14278，468--480（2023；Zbl 07850759）
全文： 内政部
OA许可证
蒂姆·S·里昂。;奥兰德利，尤金尼奥

量化模态逻辑的嵌套序列。 （英语） Zbl 07850758号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 449-467 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.S.Lyon}和\textit{E.Orlandelli}，莱克特。注释计算。科学。14278，449--467（2023；Zbl 07850758）
全文： 内政部 arXiv公司
OA许可证
尼古拉斯·佩尔蒂埃

测试具有权限的分离逻辑中公式的可满足性。 （英语） Zbl 07850757号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 427-445 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.佩尔蒂埃}，莱克特。注释计算。科学。14278，427--445（2023；Zbl 07850757）
全文： 内政部
OA许可证
德波尔（Frank S。;Hiep，Hans-Dieter A。;斯蒂恩·德古乌

分离逻辑的逻辑：模型和证明。 （英语） Zbl 07850756号

Ramanayake，Revantha（编辑）等人，使用分析表和相关方法进行自动推理。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 407-426 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{F.S.de Boer}等人，Lect。注释计算。科学。14278，407--426（2023；Zbl 07850756）
全文： 内政部
OA许可证
Zuzana Haniková;很多，费利普;阿曼达·维达尔

实值MV-代数中的MaxSAT问题。 （英语） Zbl 07850755号

Ramanayake，Revantha（编辑）等人，使用分析表和相关方法进行自动推理。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 386-404 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Haniková}等人，Lect。注释计算。科学。14278，386--404（2023；Zbl 07850755）
全文： 内政部
OA许可证
亚历山大五世（Alexander V.Gheorghiu）。;顾涛;大卫·J·派姆。

直觉乘法线性逻辑的证明理论语义。 （英语） Zbl 07850754号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 367-385 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Gheorghiu}等人，Lect。注释计算。科学。14278，367--385（2023；Zbl 07850754）
全文： 内政部 arXiv公司
OA许可证
马特奥·阿克拉维奥;戴维·卡塔;费德里科·奥林皮耶里

构造模态逻辑中证明的规范性。 （英语） Zbl 07850753号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 342-363 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Acclavio}等人，Lect。注释计算。科学。14278，342--363（2023；Zbl 07850753）
全文： 内政部 arXiv公司
OA许可证
德克·帕丁森;尼古拉·奥利维蒂;Cláudia Nalon

非正规模态逻辑的分辨率计算。 （英语） Zbl 07850752号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 322-341 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Pattinson}等人，Lect。注释计算。科学。14278，322--341（2023；Zbl 07850752）
全文： 内政部
OA许可证
蒂齐亚诺·达尔蒙特;安德烈亚·马祖洛

非正规模态逻辑组合的CoNP复杂性。 （英语） Zbl 07850751号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 302-321 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Dalmonte}和\textit{A.Mazzullo}，莱克特。注释计算。科学。14278302-321（2023年；兹bl 07850751）
全文： 内政部
OA许可证
达斯，阿努帕姆;索尼娅·马林

直觉钻石（及其缺乏）。 （英语） Zbl 07850750号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 283-301 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{S.Marin}，莱克特。注释计算。科学。14278，283--301（2023；Zbl 07850750）
全文： 内政部
OA许可证
艾丽斯·范德吉森;拉赫利·贾拉利;罗马库兹涅茨

的扩展K5公司：证明理论和统一Lyndon插值。 （英语） Zbl 07850749号

Ramanayake，Revantha（编辑）等人，《使用分析表和相关方法的自动推理》。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14278, 263-282 (2023).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{I.van der Giessen}等人，Lect。注释计算。科学。14278，263--282（2023；Zbl 07850749）
全文： 内政部 arXiv公司
OA许可证

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件