×

找到1994文档（结果1–100）

最新的 引文 关联
水木吉泽;阿基拉·特瑞;Masahiko Mikawa

基于综合Gröbner系统，利用实量词消去法进行机械手逆运动学和路径规划。 （英语） Zbl 07842278号

Boulier，François（编辑）等人，《科学计算中的计算机代数》。2023年8月28日至9月1日在古巴哈瓦那举行的第25届CASC 2023国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14139, 393-419 (2023).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Yoshizawa}等人，Lect。注释计算。科学。141393-419（2023年；兹bl 07842278）
全文： 内政部 arXiv公司
安德烈·贝洛托·达席尔瓦;爱德华·比尔斯通

拟解析态射的单项式化。（非形态拟分析的单分子化。） （英语。法语摘要） Zbl 07827710号

科学年鉴。埃及。标准。上级。(4) 56，第5期，1583-1651（2023）.
MSC公司：03C64号 14E05号 第26页至第10页 32S45系列 03C10号机组 14E15号机组 30D60毫米 32B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Belotto da Silva}和\textit{E.Bierstone}，Ann.Sci。埃及。标准。上级。（4） 56，第5号，1583-1651（2023；Zbl 07827710）
全文： 内政部 arXiv公司
Viale，Matteo公司

强强迫公理和连续体问题[在Asperó's和Schindler证明\（mathrm{MM}^{+}\）暗示Woodin公理\（*）\之后]。（轴心力消除堡垒和连续形地台[suivant la démonstration d’Asperóet Schindler que（\mathrm{MM}^{+}）entrane l'axiome de Woodin（（*）\）]。） （英语） Zbl 07827471号

塞米纳伊尔·布尔巴吉。第2021/2022卷。博览会1197-1210。巴黎：法国数学协会（SMF）。Astérisque 446，383-416，Exp.No.1207（2023）。
MSC公司：03E35号 03E50型 03E57型 03立方厘米10 00A30型 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{M.Viale}，Astérisque 446，383--416，Exp.No.1207（2023；Zbl 07827471）
全文： 内政部
伯纳德·博伊格洛特;帕斯卡·方丹;巴普蒂斯特·韦尔盖因

自动机上的通用一阶量化。 （英语） Zbl 07810926号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 91-102 (2023).
MSC公司：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。注释计算。科学。14151，91-102（2023；Zbl 07810926）
全文： 内政部 arXiv公司 链接
亚历山大·贝伦斯坦;亨森·C·沃德

概率空间的模型理论。 （英语） Zbl 07756058号

Goldbring，Isaac（编辑），算子代数模型理论。柏林：De Gruyter。德格鲁伊特爵士。日志。申请。11, 159-213 (2023).
MSC公司：03C66号 03C10号机组 03C45号机组 第28页第60页
PDF格式BibTeX公司 XML格式引用
\textit{A.Berenstein}和\textit{C.W.Henson}，De Gruyter Ser。日志。申请。11、159--213（2023；Zbl 07756058）
全文： 内政部 arXiv公司
艾萨克·戈德布林;布拉德·哈特

tracial von Neumann代数模型理论综述。 （英语） Zbl 07756057号

Goldbring，Isaac（编辑），算子代数模型理论。柏林：De Gruyter。德格鲁伊特爵士。日志。申请。11, 133-157 (2023).
审核人：亚历山德罗·维格纳蒂（巴黎）
MSC公司：03C66号 46升10 03C20号 03C45号机组 03C10号机组 03C65号 46层36
PDF格式BibTeX公司 XML格式引用
\textit{I.Goldbring}和\textit{B.Hart}，De Gruyter Ser。日志。申请。11、133--157（2023；Zbl 07756057）
全文： 内政部 arXiv公司
尼娜·吉拉西姆祖克;Dariusz Kalociñski;弗朗西塞克·拉科夫斯基;雅库布乌斯金斯基

语言协调中的凸性和单调性：模拟认知主体群体中语义共性的出现。 （英语） Zbl 07753643号

J.逻辑语言信息。 32，第4号，569-600（2023）.
MSC公司：03月XX日 68倍
PDF格式BibTeX公司 XML格式引用
\textit｛N.Gierasimczuk｝等人，《逻辑语言期刊》第32期，第4期，569-600页（2023年；Zbl 07753463）
全文： 内政部
OA许可证
格卢什琴科，A.I。;K.A.拉斯托克金。

对称矩阵（P\）的（P\ otimes P\）乘积向量化的构造算法。 （英语。俄文原件） Zbl 1533.81029号

计算。数学。数学。物理学。 63，编号9，1559-1570（2023）; Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，第9期，1415-1427（2023）。
MSC公司：81第68页 03C10号机组 第46页第32页 81层33 43A50型 68号30 03天80
PDF格式BibTeX公司 XML格式引用
\textit{A.I.Glushchenko}和\textit{K.A.Lastochkin}，计算。数学。数学。物理学。63，编号9，1559-1570（2023；兹bl 1533.81029）；Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63，编号9，1415--1427（2023）
全文： 内政部
卡琳·特蕾莎·豪厄尔;夏洛特·凯斯特纳

交换近向量空间的模型理论。 （英语） Zbl 1530.16044号

奎斯特。数学。 46，第7期，1393-1414（2023）.
审核人：Stefan Veldsman（伊丽莎白港）
MSC公司：2016年30月 12K05型 03C45号机组 03C60型 03C07号机组 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{K.-T.Howell}和\textit{C.Kestner}，奎斯特。数学。46，编号7，1393-1414（2023；Zbl 1530.16044）
全文： 内政部 arXiv公司
A.O.Alekseev。;阿莫索夫。

关于投影族到正算子值测度的推广。 （英语。俄文原件） Zbl 1522.81036号

维斯特。圣彼得堡大学数学。 56，1号，1-8（2023）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。10（68），第1期，3-13（2023）。
MSC公司：81页第45页 03C10号机组 28个B05 81兰特 47B65个 46二氧化碳 第81页，共15页 47B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.O.Alekseev}和\textit{G.G.Amosov}，维斯特恩。圣彼得堡大学数学。56，编号1，1--8（2023；Zbl 1522.81036）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。10（68），编号1，3--13（2023）
全文： 内政部
李伟;亚历克谢·奥夫钦尼科夫;格勒布·波古丁;托马斯·斯坎隆

算法在微分代数中产生上界。 （英语） Zbl 1515.12002年

可以。数学杂志。 75，编号1，29-51（2023）.
审核人：亚历山大·莱文（华盛顿）
MSC公司：2005年12月 12个H10 03C10号机组 03C60型 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{W.Li}等人，加拿大。数学杂志。75，编号1，29--51（2023；Zbl 1515.12002）
全文： 内政部 arXiv公司
克利夫顿·F·伊利。;贾纳马西科娃

o-minimal结构的量词消除通过赋值切割扩展。 （英语） Zbl 1508.03070号

Ann.纯粹应用。逻辑 174，第2号，文章ID 103206，22页（2023）.
审核人：Fujita Masato（库尔）
MSC公司：03C64号 03C10号机组 12J25型 12月10日 2015年12月 12升12
PDF格式BibTeX公司 XML格式引用
\textit{C.F.Ealy}和textit{J.Maříková}，Ann.Pure Appl。逻辑174，第2号，文章ID 103206，22页（2023；Zbl 1508.03070）
全文： 内政部 arXiv公司
OA许可证
尼克·贝扎尼什维利;卢卡·卡莱;西尔维奥·吉拉尔迪;露西娅·兰迪

（\Pi_2）推理规则的可容许性：插值、模型完成和接触代数。 （英语） Zbl 07601551号

Ann.纯粹应用。逻辑 174，第1号，文章ID 103169，31页（2023）.
MSC公司：03B45 03C10号机组 06E25年 54E05型
PDF格式BibTeX公司 XML格式引用
\textit{N.Bezhanishvili}等人，Ann.Pure Appl。逻辑174，第1号，文章ID 103169，31页（2023；Zbl 07601551）
全文： 内政部 arXiv公司
Hounkonnou、Mahouton Norbert;弗朗西斯·阿塔·霍华德;基维·康尼

自旋（左（右）的粒子和（p-）元积分：自旋李群，（mathcal{R}（rho，q）-\）gamma和（mathcal{R}（ρ，q）-）beta函数，ghost和应用。 arXiv:2308.06363

预印本，arXiv:2308.06363[math.NT]（2023）。
MSC公司：05A10号 05A30型 11个B65 11个B68 11S23型 11S80型 33B15号机组 22E60年 03C10号机组 20E18年
BibTeX公司 引用
\textit｛M.N.Hounkonou｝等人，“Spin$\left（\frac｛1｝｛2｝\right）$的粒子和$p-$adic积分：自旋李群，$\mathcal｛R｝（\rho，q）-$gamma和$\mathcal｛R｝（\rho，q）-$beta函数，重影和应用”，预印本，arXiv:230806363[math.NT]（2023）
全文： arXiv公司
OA许可证
Viale，Matteo公司

强强迫公理和连续体问题（根据Asperó's和Schindler的证明，\（mathbf{MM}^{+}\）暗示了Woodin公理\（（*）\））。 arXiv:2305.07784

预打印，arXiv:2305.07784[math.LO]（2023）。
MSC公司：03E57 03E50型 03E50型 03C10号机组
BibTeX公司 引用
\textit{M.Viale}，“强强迫公理和连续体问题（遵循Asperó's和Schindler证明$\mathbf{MM}^{+}$暗示Woodin公理$（*）$）”，预印，arXiv:2305.07784[math.LO]（2023）
全文： arXiv公司
OA许可证
帕斯卡·鲍曼;摩西·加纳尔迪;拉马纳森·S·蒂尼亚姆。;乔治·泽采

子字排序的存在可定义性。 （英语） Zbl 07836574号

Berenbrink，Petra（ed.）等人，第39届计算机科学理论方面国际研讨会，STACS 2022，法国马赛，虚拟会议，2022年3月15日至18日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。219，第7条，第15页（2022年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumann}等人，LIPIcs——莱布尼茨国际程序。通知。219，第7条，第15页（2022；Zbl 07836574）
全文： 内政部
布鲁诺·波扎特;艾巴特·叶什基耶夫

以积极的逻辑来来回回。 （英语） Zbl 07740534号

Béziau，Jean-Yves（编辑）等人，《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019年）上的会谈。查姆：Birkhäuser。通用螺栓。日志。，603-609 (2022).
MSC公司：03A05号 03Bxx号 01A25号 01A55号 03C95号 03C48号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Poizat}和\textit{A.Yeshkeyev}，in：逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019）上的会谈。查姆：Birkhäuser。603--609（2022；Zbl 07740534）
全文： 内政部
塞梅诺夫，A.L。;索普鲁诺夫，S.F。

可定义格：起源、最新发展和进一步的方向。 （英语。俄文原件） Zbl 07728611号

多克。数学。 106，零件补遗2，S288-S298（2022）; 译自ChebyshevskiĭSb.22，No.1（77），304-327（2021）。
MSC公司：03C40号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Semenov}和\textit{S.F.Soprunov}，Dokl。数学。106，零件补遗2，S288--S298（2022；Zbl 07728611）；切比雪夫斯基Sb.22，No.1（77），304--327（2021）的译文
全文： 内政部
克里斯托弗·布朗（Christopher W.Brown）。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹，M.Pilar

计算机代数准备好在课堂上猜测和证明几何不等式了吗？ （英语） Zbl 07700011号

数学。计算。科学。 16，第4号，第31号论文，第14页（2022年）.
MSC公司：97G40型 14时50分 03B35型 68吨15 第68卷第15页 2014年第30季度 2016年11月51日 51-04 2008年5月51日
PDF格式BibTeX公司 XML格式引用
\textit{C.W.Brown}等人，数学。计算。科学。16，第4号，第31号论文，第14页（2022；Zbl 07700011）
全文： 内政部
特兰，贝内迪克特;Serge，杂耍

利用量子算法解决带噪声的学习奇偶性问题。 （英语） Zbl 1523.81049号

Batina，Lejla（编辑）等人，《密码学进展——非洲密码2022》。第十三届非洲密码学国际会议，2022年7月18日至20日，摩洛哥费斯，AFRICACRYPT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13503, 295-322 (2022).
MSC公司：81第68页 68T05型 03C10号机组 28C20个 94A60型 81页94 15B34型 68页第10页 81页73
PDF格式BibTeX公司 XML格式引用
\textit{B.Tran}和\textit{S.Vaudenay}，莱克特。注释计算。科学。13503295-322（2022年；兹比尔1523.81049）
全文： 内政部
克里斯蒂娜·杜隆;亚历克斯·法雷尔

Erdös-Rényi网络模型上SIR流行病的平均场近似。 （英语） Zbl 1497.92253号

牛市。数学。生物。 84，第7期，第70号论文，第19页（2022年）.
审核人：常春藤（Sodankylä）
MSC公司：92天30分 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit｛C.Durón｝和\textit｛A.Farrell｝，公牛。数学。《生物学》84，第7期，第70号论文，第19页（2022年；Zbl 1497.92253）
全文： 内政部
马提亚斯·阿斯琴布伦纳;卢·范登·德里斯;乔里斯·范德霍温

重温封闭渐近偶。 （英语） Zbl 07556006号

程序。爱丁堡。数学。社会学，II。序列号。 65，编号2，530-555（2022）.
MSC公司：03C10号机组 03C64号 20层06 34E05型 2005年12月 12J25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Aschenbrenner}等人，Proc。爱丁堡。数学。社会学，II。序列号。65，编号2，530--555（2022；Zbl 07556006）
全文： 内政部 arXiv公司
马提亚斯·阿斯琴布伦纳;阿尔特姆·切尔尼科夫;艾伦·盖瑞特;马丁·齐格勒

有值字段和相关结构中的距离。 （英语） Zbl 1498.03073号

事务处理。美国数学。Soc公司。 375，编号7，4641-4710（2022）.
审核人：阿萨夫·哈森（贝尔·舍瓦）
MSC公司：03C45号机组 03C60型 12升12 12月10日 03C64号 03C10号机组 20层06
PDF格式BibTeX公司 XML格式引用
\textit{M.Aschenbrenner}等人，翻译。美国数学。Soc.375，No.7，4641--4710（2022；Zbl 1498.03073）
全文： 内政部 arXiv公司
哈伊纳尔·安德雷卡;Judit X·马达拉斯。;伊斯坦·内梅蒂;谢凯利（Székely，Gergely）

闵可夫斯基时空的类时间、类光和类空间相关性的互定义复杂性。 （英语） 兹标07501987

Ann.纯粹应用。逻辑 173，第5期，文章ID 103100，25 p.（2022）.
MSC公司：03B80型 03立方厘米30 83A05号 03B10号机组 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{H.Andréka}等人，Ann.Pure Appl。逻辑173，第5号，文章ID 103100，25页（2022；Zbl 07501987）
全文： 内政部 arXiv公司
OA许可证
格拉泽戈兹·巴斯图萨克;亚当·斯科维斯基;安德烈·杰米奥·考斯基

关于实数保持半正性和量词消除理论的映射。 （英语） Zbl 1485.15043号

Commun公司。康斯坦普。数学。 24，第2号，文章ID 2050092，26 p.（2022）.
MSC公司：15B57号 15A04号 81S22号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{G.Pastuszak}等人，Commun。康斯坦普。数学。24，第2号，文章ID 2050092，26 p.（2022；Zbl 1485.15043）
全文： 内政部 arXiv公司
贾姆什德·德拉赫尚;安格斯·麦金太尔

阿黛尔斯的模型理论。一、。 （英语） Zbl 1525.03096号

Ann.纯粹应用。逻辑 173，第3期，文章ID 103074，43 p.（2022）.
审核人：Alexandra Shlapentkh（格林维尔）
MSC公司：03C60型 03C10号机组 11卢比 11单元09 11路42号 2005年11月
PDF格式BibTeX公司 XML格式引用
\textit{J.Derakhshan}和\textit{A.Macintyre}，Ann.Pure Appl。逻辑173，第3号，文章ID 103074，43页（2022；Zbl 1525.03096）
全文： 内政部 arXiv公司
阿罕·古纳伊登;梅丽莎·奥扎哈基扬

整数组的Beatty序列展开。 （英语） Zbl 1497.03053号

Ann.纯粹应用。逻辑 173，第3期，文章ID 103062，22 p.（2022）.
审核人：杰勒德·勒洛普（勒芒）
MSC公司：03C64号 03C60型 03C10号机组 03C35号 11B85号
PDF格式BibTeX公司 XML格式引用
\textit{A.Günaydñn}和\textit{M.Øzsahakyan}，Ann.《纯粹的应用》。逻辑173，第3号，文章ID 103062，22页（2022；Zbl 1497.03053）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件