符号计算

最近提交的作者和标题

• 2025年11月19日， 星期三
• 2025年11月18日， 星期二
• 2025年11月17日， 星期一
• 2025年11月14日， 星期五
• 2025年11月13日， 星期四

查看今天的 新的 变化

2025年11月19日， 星期三

此时间段没有更新。

2025年11月18日， 星期二 (展示 2 之 2 条目 )

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

标题： 谱方法和组合方法用于高效计算无歧义有限自动机的秩 显示英文标题

标题： Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata

Pierre Talbot

主题： 形式语言与自动机理论 (cs.FL) ; 数据结构与算法 (cs.DS) ; 符号计算 (cs.SC)

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

标题： 两种提升规划的约束编译方法 显示英文标题

标题： Two Constraint Compilation Methods for Lifted Planning

Fabio Cumbo, Rui-Hao Li, Bryan Raubenolt, Jayadev Joshi, Abu Kaisar Mohammad Masum, Sercan Aygun, Daniel Blankenberg

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

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

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

标题： 三元约束网络的分解与预处理 显示英文标题

标题： Decomposition and Preprocessing of Ternary Constraint Networks

Bruno Grenet

评论： 目前作为AAAI-2026论文“基于GPU的约束编程求解器”的补充材料

主题： 符号计算 (cs.SC)

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

标题： 带有空间约束的快速多项式计算 显示英文标题

标题： Fast polynomial computations with space constraints

Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta

评论： 作为作者资格认证论文提交的文件

主题： 符号计算 (cs.SC) ; 计算复杂性 (cs.CC)

2025年11月14日， 星期五 (展示 3 之 3 条目 )

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

标题： 通过翻转图搜索进行结构化矩阵乘法的更快算法 显示英文标题

标题： Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search

Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires

主题： 符号计算 (cs.SC) ; 数据结构与算法 (cs.DS)

[6] arXiv:2511.09943 (交叉列表自 cs.MS) [中文pdf, pdf, 其他]

标题： SeQuant 框架用于符号和数值张量代数。 I. 核心功能 显示英文标题

标题： SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities

Bimal Gaudel, Robert G. Adam, Ajay Melekamburath, Conner Masteran, Nakul Teke, Azam Besharatnik, Andreas Köhn, Edward F. Valeev

主题： 数学软件 (cs.MS) ; 符号计算 (cs.SC) ; 化学物理 (physics.chem-ph) ; 计算物理 (physics.comp-ph) ; 量子物理 (quant-ph)

[7] arXiv:2511.12664 (交叉列表自 quant-ph) [中文pdf, pdf, html, 其他]

标题： 量子超维计算：量子神经形态架构的基础范式 显示英文标题

标题： Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures

Stefan Kiefer, Andrew Ryzhikov

评论： 44页，6图

主题： 量子物理 (quant-ph) ; 新兴技术 (cs.ET) ; 符号计算 (cs.SC)

2025年11月13日， 星期四

此时间段没有更新。