符号计算

最近提交的作者和标题

• 2025年07月18日， 星期五
• 2025年07月17日， 星期四
• 2025年07月16日， 星期三
• 2025年07月15日， 星期二
• 2025年07月14日， 星期一

查看今天的 新的 变化

2025年07月18日， 星期五 (展示 1 之 1 条目 )

[1] arXiv:2507.13071 (交叉列表自 cs.SC) [中文pdf, pdf, 其他]

标题： 用于计算紧致域上莫尔斯函数的所有局部极小值点的概率算法 显示英文标题

标题： Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain

Mohab Safey El Din (PolSys), Georgy Scholten, Emmanuel Trélat (LJLL (UMR\_7598), CaGE)

主题： 符号计算 (cs.SC) ; 优化与控制 (math.OC)

2025年07月17日， 星期四 (展示 2 之 2 条目 )

[2] arXiv:2507.12366 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]

标题： FactorHD：一种用于多目标多类表示和分解的超维计算模型 显示英文标题

标题： FactorHD: A Hyperdimensional Computing Model for Multi-Object Multi-Class Representation and Factorization

Yifei Zhou, Xuchu Huang, Chenyu Ni, Min Zhou, Zheyu Yan, Xunzhao Yin, Cheng Zhuo

评论： 7页，5图，2表，将发表在第62届DAC（设计自动化会议）论文集中

主题： 符号计算 (cs.SC) ; 人工智能 (cs.AI) ; 计算机视觉与模式识别 (cs.CV)

[3] arXiv:2507.11987 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]

标题： 动态神经证书的形式化验证 显示英文标题

标题： Formal Verification of Neural Certificates Done Dynamically

Thomas A. Henzinger, Konstantin Kueffner, Emily Yu

评论： 已被RV'25接受

主题： 符号计算 (cs.SC) ; 人工智能 (cs.AI)

2025年07月16日， 星期三

此时间段没有更新。

2025年07月15日， 星期二 (展示 1 之 1 条目 )

[4] arXiv:2507.10407 (交叉列表自 cs.CV) [中文pdf, pdf, html, 其他]

标题： 数值计算最小问题的伽罗瓦群 显示英文标题

标题： Numerically Computing Galois Groups of Minimal Problems

Timothy Duff

评论： 在ISSAC 2025上附带的特邀教程；10页，含参考文献

主题： 计算机视觉与模式识别 (cs.CV) ; 符号计算 (cs.SC) ; 代数几何 (math.AG)

2025年07月14日， 星期一 (展示 1 之 1 条目 )

[5] arXiv:2507.08138 (交叉列表自 math.NT) [中文pdf, pdf, html, 其他]

标题： 关于保守矩阵场：连续渐近和算术 显示英文标题

标题： On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic

Shachar Weinbaum, Elyasheev Leibtag, Rotem Kalisch, Michael Shalyt, Ido Kaminer

评论： 26页，5图

主题： 数论 (math.NT) ; 符号计算 (cs.SC) ; 组合数学 (math.CO) ; 环与代数 (math.RA)