雷米·普雷贝特；穆罕默德·萨弗里·埃尔丁；埃里克·斯科特 在无界光滑实代数集中计算路线图。一： 连接结果。 （英语） Zbl 1527.14116号 J.塞姆。计算。 120，文章ID 102234，27 p.（2024）. 审核人：Gema Maria Diaz Toca（穆尔西亚） MSC公司：第14季度20 2014年第30季度 14第05页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Prébet}等人，J.Symb。计算。120，文章ID 102234，27 p.（2024；Zbl 1527.14116） 全文： 内政部 arXiv公司 哈尔
戴维斯，伊索贝尔；埃莉亚娜·杜阿尔特；伊雷姆·波塔卡尔；Sorea，Miruna-ötefana公司 高维有理线性精度的多面体族。 （英语） Zbl 07781556号 已找到。计算。数学。 23，第6号，2151-2202（2023）.MSC公司：52B20型 14米25 62卢比 65D17号 PDF格式BibTeX公司 XML格式引用 \textit{I.Davies}等人，发现。计算。数学。23，第6号，2151--2202（2023；Zbl 07781556） 全文： 内政部 arXiv公司 OA许可证
马蒂亚斯·德顿（编辑）；托马斯·卡勒（编辑）；塞思·沙利文（编辑）；卡罗琳，乌勒（编辑） 统计方法中的代数结构。2022年12月4日至10日举行的研讨会摘要。 （英语） Zbl 1521.00014号 Oberwolfach代表。 19，第4期，3121-3170（2022）.MSC公司：00亿05 00B25型 62-01 13-06 62卢比 62H22个 10层62层 62G05型 62页第10页 62第20页 第13页第15页 14米25 第14季度20 PDF格式BibTeX公司 XML格式引用 \textit{M.Drton}（编辑）等人，Oberwolfach Rep.19，No.4，3121-3170（2022；Zbl 1521.00014） 全文： 内政部
乔沙·迪尔；库鲁什，易卜拉希米·费尔德；尼古拉斯·塔皮亚 热带时间序列、迭代和签名和拟对称函数。 （英语） Zbl 1502.62089号 SIAM J.应用。代数几何。 6，第4号，563-599（2022）.MSC公司：62M10个 14T90型 2016年60月 60升10 PDF格式BibTeX公司 XML格式引用 \textit{J.Diehl}等人，SIAM J.Appl。代数几何。6，编号4，563--599（2022；Zbl 1502.62089） 全文： 内政部 arXiv公司
凯思·科恩；托马斯·默克；蒙图法尔，圭多；马修·特拉格 线性卷积网络的几何学。 （英语） Zbl 1514.68254号 SIAM J.应用。代数几何。 6，编号3，368-406（2022）.MSC公司：68T05型 14J70型 第14页 62卢比 90C23型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kohn}等人，SIAM J.Appl。代数几何。6，编号3，368--406（2022；Zbl 1514.68254） 全文： 内政部 arXiv公司
都铎州巴布 基于参数和几何PDE的自动图像分割模型，。 （英语） Zbl 07562896号 申请。科学。 24, 1-11 (2022).MSC公司：68平方英寸10 94A08型 93E11号机组 60G35型 35甲15 35-XX年 35Kxx美元 35K10码 35K55型 35磅 35升70 14Jxx号 PDF格式BibTeX公司 XML格式引用 \textit{T.Barbu}，应用。科学。24，1--11（2022；Zbl 07562896） 全文： 链接
托拜厄斯·博格 高斯类是高斯条件独立结构的两个先行近似。 （英语） Zbl 1493.62020年 安。数学。Artif公司。智力。 第645-673号第90页（2022年）; 更正同上，90，第6号，675-676（2022）。MSC公司：62B10型 62卢比 第14页 PDF格式BibTeX公司 XML格式引用 \textit{T.Boege}，Ann.数学。Artif公司。智力。90，第6号，645--673（2022；Zbl 1493.62020） 全文： 内政部 arXiv公司
克里斯蒂安·戈根；艾达·马拉杰；利萨·尼克拉松 具有复曲面结构的分级树模型。 （英语） Zbl 1491.14074号 J.塞姆。计算。 113, 242-268 (2022). 审核人：卢卡·奇安蒂尼（锡耶纳） MSC公司：14米25 14第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Görgen}等人，J.Symb。计算。113242--268（2022年；Zbl 1491.14074） 全文： 内政部 arXiv公司
迪迪埃·达库恩托；库尔德卡、克日什托夫 限制梯度轨迹的长度。 （英语） Zbl 1487.32034号 安·波尔。数学。 127，编号1-2，13-50（2021）.MSC公司：32B20型 第14页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.D'Acunto}和\textit{K.Kurdyka}，Ann.Pol。数学。127，编号1--2，13-50（2021；Zbl 1487.32034） 全文： 内政部
埃莉亚娜·杜阿尔特；奥兰多马里利亚诺；伯恩德·斯图尔姆费尔斯 具有有理最大似然估计的离散统计模型。 （英语） Zbl 1465.62184号 伯努利 27，第1期，135-154（2021）. 审核人：Glauber Márcio Silveira Pereira（塞拉） MSC公司：62卢比 62H22个 第14页 PDF格式BibTeX公司 XML格式引用 \textit{E.Duarte}等人，Bernoulli 27，No.1，135--154（2021；Zbl 1465.62184） 全文： 内政部 arXiv公司 欧几里得
让·B·拉塞尔。；维克托·马格伦 计算半代数集的Hausdorff边界测度。 （英语） Zbl 1451.14171号 SIAM J.应用。代数几何。 4、3号、441-469（2020年）. 审核人：Mihai Putinar（圣巴巴拉） MSC公司：2016年第14季度 第14页 28A75号 28A78号 26B15号 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Lasserre}和\textit{V.Magron}，SIAM J.Appl。代数几何。4，第3号，441--469（2020；Zbl 1451.14171） 全文： 内政部 arXiv公司
曼纽尔·拉德拉；皮拉尔·帕伊兹·古利兰；托马斯·雷西奥 处理自动化证明中的负面条件：工具和挑战。拉比诺维奇的诡计带来了意想不到的后果。 （英语） Zbl 1453.68209号 Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 114，第4号，第162号文件，第16页（2020）.MSC公司：68伏15 第14季度20 PDF格式BibTeX公司 XML格式引用 \textit{M.Ladra}等人，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 114，第4期，第162号论文，16页（2020年；Zbl 1453.68209） 全文： 内政部
彼得·比尔吉塞；费利佩·库克；乔苏·托内利·库托 计算半代数集的同调。一： 宽松的配方。 （英语） Zbl 1440.14264号 已找到。计算。数学。 20，第1期，第71-118页（2020年）. 审核人：Nelly Villamizar（斯旺西） MSC公司：第14页 65D18天 65年20月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bürgisser}等人，发现。计算。数学。20，第1号，第71-118条（2020年；Zbl 1440.14264） 全文： 内政部 arXiv公司
埃莉亚娜·杜阿尔特；克里斯蒂安·戈根 定义概率树模型的方程。 （英语） Zbl 1451.13086号 J.塞姆。计算。 99, 127-146 (2020). 审核人：Anthea Monod（伦敦） MSC公司：13第25页 62卢比 62H22个 14米25 PDF格式BibTeX公司 XML格式引用 \textit{E.Duarte}和\textit{C.Görgen}，J.Symb。计算。99、127--146（2020年；Zbl 1451.13086） 全文： 内政部 arXiv公司
安德烈·瓦格纳 三个二次曲面交集的退化性。 （英语） Zbl 1431.51013号 数学杂志。成像视觉。 61，第3期，352-358（2019）.MSC公司：51立方米 2015年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wagner}，J.数学。成像视觉。61，第3号，352--358（2019；Zbl 1431.51013） 全文： 内政部
彼得·琼森；约翰·塔珀 数字CSP的牵引条件。 （英语） 兹比尔1386.68071 西奥。计算。科学。 715，21-34（2018）.MSC公司：65年第68季度 03C64号 2015年3月1日 第14页 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}和\textit{J.Thapper}，Theor。计算。科学。715、21-34（2018；Zbl 1386.68071） 全文： 内政部 链接
程金三；西尔万·拉扎德；路易斯·佩纳兰达；马克·普吉；法布里斯·鲁利耶 关于实代数平面曲线的拓扑。 （英语） Zbl 1205.14038号 数学。计算。科学。 4，第1期，113-137（2010）.MSC公司：14H50型 14第05页 13页第10页 14层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Cheng}等人，数学。计算。科学。4，第1号，113--137（2010；Zbl 1205.14038） 全文： 内政部 链接
G·达尔佐托。；T·雷西奥。 关于初等几何中定理的自动发现协议。 （英语） Zbl 1184.68458号 J.汽车。推理 43，第2期，203-236（2009）.MSC公司：68吨15 1999年第14季度 51-04 PDF格式BibTeX公司 XML格式引用 \textit{G.Dalzotto}和\textit{T.Recio}，J.Autom。推理43，No.2，203--236（2009；Zbl 1184.68458） 全文： 内政部
莫子青 代数几何在加密中的应用：驯服变换方法。 （英语） Zbl 1058.94012号 马特·伊贝罗姆（Mat.Iberoam）版本。 19，第2期，667-685（2003）. 审核人：理查德·莫林（卡尔加里） MSC公司：94A60型 14R10型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Moh}，马特·伊贝隆牧师。19，第2号，667--685（2003；Zbl 1058.94012） 全文： 内政部 欧洲DML
E.福图纳。；詹尼，P。；Parenti，P。；特拉弗索，C。 计算可定向实代数曲面拓扑的算法。 （英语） Zbl 1049.14046号 J.塞姆。计算。 36，第3-4号，343-364（2003）.MSC公司：2010年第14季度 14第25页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Fortuna}等人，J.Symb。计算。36，编号3--4，343--364（2003；Zbl 1049.14046） 全文： 内政部
巴特·奎杰珀斯；简·帕雷登斯；Van den Bussche，简 实平面上闭半代数集的拓扑初等性。 （英语） Zbl 0974.03038号 J.塞姆。日志。 65，第4期，1530-1555（2000）. 审核人：罗伯特·埃尔曼（安纳波利斯） MSC公司：03立方厘米98 第14页 PDF格式BibTeX公司 XML格式引用 \textit{B.Kuijpers}等人，J.Symb。日志。65，第4号，1530--1555（2000；Zbl 0974.03038） 全文： 内政部 链接
索加塔省巴苏；理查德·波拉克；玛丽·弗朗索瓦斯·罗伊 计算各种半代数集的路线图。 （英语） 兹比尔0933.14037 美国数学杂志。Soc公司。 13，编号1，55-82（2000）.MSC公司：第14页 68瓦40 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}等人，《美国数学杂志》。Soc.13，No.1，55--82（2000；Zbl 0933.14037） 全文： 内政部
L·古尔奈。；J.J.Risler。 在半代数集合中构建路线图。 （英语） Zbl 0807.14047号 申请。代数工程通讯。计算。 4，第4期，239-252（1993）. 审核人：S.Akbulut（东兰辛） MSC公司：第14页 65年第68季度 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Gournay}和textit{J.Risler}，应用。代数工程通讯。计算。4，第4号，239--252（1993；Zbl 0807.14047） 全文： 内政部
J·坎尼。；格里戈列夫，D.Yu。；新南威尔士州沃罗布埃夫。 求半代数集在次指数时间内的连通分量。 （英语） Zbl 0783.14036号 申请。代数工程通讯。计算。 2，第4期，217-238（1992）. 审核人：T.雷西奥（桑坦德） MSC公司：第14页 65年第68季度 第12天15 68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Canny}等人，应用。代数工程通讯。计算。2，第4号，217--238（1992；Zbl 0783.14036） 全文： 内政部
T·克里克。；A.O.斯利森科。；巴勃罗·索莱诺；J.海因茨。 在平面上搜索围绕半代数障碍物的最短路径。 （英语。俄文原件） 兹伯利0835.14023 数学杂志。科学。，纽约 70，第4期，1944-1949（1994）; Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所192、163-173（1991）。MSC公司：第14页 65年第68季度 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Krick}等人，《数学杂志》。科学。，纽约70号，第4期，1944年——1949年（1991年；Zbl 0835.14023）；Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所192、163--173（1991） 全文： 内政部
新南威尔士州沃罗布埃夫。；格里戈列夫，D.Yu。 求半代数集在次指数时间内的连通分量。 （英语。俄文原件） Zbl 0835.68061号 数学杂志。科学。，纽约 70，第4期，1847-1872（1994）; Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所192，3-46（1991）。MSC公司：68瓦30 第14页 65年第68季度 03C60型 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Vorob'ev jun.}和\textit{D.Yu.Grigor'ev}，J.数学。科学。，纽约70，No.4，1847--1872（1991；Zbl 0835.68061）；Zap的翻译。诺什。塞明。列宁格。其他日期。Mat.Inst.Steklova材料研究所192，3-46（1991） 全文： 内政部
周尚卿；高小山 Ritt-Wu的分解算法和几何定理证明。 （英语） Zbl 1509.68303号 Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。449, 207-220 (1990).MSC公司：68伏15 2014年第30季度 51-08 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}和\textit{X.-S.Gao}，Lect。票据计算。科学。449207-220（1990年；Zbl 1509.68303） 全文： 内政部
迪帕克·卡普尔 几何定理证明的一种反驳方法。 （英语） Zbl 0678.68094号 Artif公司。智力。 37，编号1-3，61-93（1988）. 审核人：巴萨拉布语 MSC公司：68吨15 14M99型 68瓦30 14N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}，阿蒂夫。智力。37，编号1--3，61-93（1988；Zbl 0678.68094） 全文： 内政部
丹尼斯·S·阿诺。 一种基于聚类的柱面代数分解算法。 （英语） Zbl 0648.68056号 J.塞姆。计算。 5，编号1-2，189-212（1988）. 审核人：E.埃德尔 MSC公司：68瓦30 14-04 12-04 14号05 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Arnon}，J.Symb。计算。5，编号1-2189-212（1988年；Zbl 0648.68056） 全文： 内政部
丹尼斯·S·阿诺。；莫里斯·米格诺特 初等代数和几何中的机械量词消除。 （英语） Zbl 0644.68051号 J.塞姆。计算。 5，编号1-2，237-259（1988）.MSC公司：68瓦30 68吨15 03C10号机组 03B35型 第12天15 14页 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Arnon}和\textit{M.Mignotte}，J.Symb。计算。5，编号1--2，237--259（1988；Zbl 0644.68051） 全文： 内政部