Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > cs.SC

帮助 | 高级搜索

符号计算

最近提交的作者和标题

  • 2025年07月04日, 星期五
  • 2025年07月03日, 星期四
  • 2025年07月02日, 星期三
  • 2025年07月01日, 星期二
  • 2025年06月30日, 星期一

查看今天的 新的 变化

总共 7 条目
显示最多 50 每页条目: 较少 | 更多 | 所有

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

[1] arXiv:2507.02730 (交叉列表自 cs.CE) [中文pdf, pdf, html, 其他]
标题: 基于约束的符号回归用于数据高效的动力学模型发现
标题: Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery
Miguel Ángel de Carvalho Servia, Ilya Orson Sandoval, King Kuok (Mimi)Hii, Klaus Hellgardt, Dongda Zhang, Ehecatl Antonio del Rio Chanona
评论: 27页,8图
主题: 计算工程、金融与科学 (cs.CE) ; 符号计算 (cs.SC)

2025年07月03日, 星期四 (展示 1 之 1 条目 )

[2] arXiv:2507.01878 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]
标题: 有界次数变换的广义ODE约简算法
标题: Generalized ODE reduction algorithm for bounded degree transformation
Shaoxuan Huang
主题: 符号计算 (cs.SC)

2025年07月02日, 星期三 (展示 2 之 2 条目 )

[3] arXiv:2507.00598 (交叉列表自 cs.NE) [中文pdf, pdf, html, 其他]
标题: 高分辨率的空间记忆需要类似网格细胞的神经编码
标题: High-resolution spatial memory requires grid-cell-like neural codes
Madison Cotteret, Christopher J. Kymn, Hugh Greatorex, Martin Ziegler, Elisabetta Chicca, Friedrich T. Sommer
评论: 14页,4张图。补充材料:11页,5张图
主题: 神经与进化计算 (cs.NE) ; 人工智能 (cs.AI) ; 符号计算 (cs.SC)
[4] arXiv:2507.00557 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]
标题: 通过MCSAT集成改进SMT-NRA中的局部搜索
标题: Advancing Local Search in SMT-NRA with MCSAT Integration
Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao
主题: 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 符号计算 (cs.SC)

2025年07月01日, 星期二 (展示 2 之 2 条目 )

[5] arXiv:2506.23730 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]
标题: 一参数佩亚诺算术具有消去量词的性质
标题: One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
评论: MFCS 2025论文的扩展版本
主题: 计算机科学中的逻辑 (cs.LO) ; 符号计算 (cs.SC)
[6] arXiv:2506.22564 (交叉列表自 math.AG) [中文pdf, pdf, 其他]
标题: 通过矩阵扩展的高效张量分解
标题: Efficient Tensor Decomposition via Moment Matrix Extension
Bobby Shi, Julia Lindberg, Joe Kileel
主题: 代数几何 (math.AG) ; 符号计算 (cs.SC) ; 数值分析 (math.NA)

2025年06月30日, 星期一 (展示 1 之 1 条目 )

[7] arXiv:2506.22113 (交叉列表自 cs.SC) [中文pdf, pdf, html, 其他]
标题: 通过翻转图探索交换矩阵乘法方案
标题: Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
Isaac Wood
主题: 符号计算 (cs.SC)
总共 7 条目
显示最多 50 每页条目: 较少 | 更多 | 所有
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号