符号计算

2025年07月 的作者和标题

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

标题： 有界次数变换的广义ODE约简算法 显示英文标题

标题： Generalized ODE reduction algorithm for bounded degree transformation

Shaoxuan Huang

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

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

标题： 计算扭曲L函数的经典模形式的欧拉乘积和系数 显示英文标题

标题： Computing Euler products and coefficients of classical modular forms for twisted L-functions

Pascal Molin (IMJ-PRG (UMR\_7586), OURAGAN)

主题： 符号计算 (cs.SC) ; 数论 (math.NT)

[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)

[4] 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)

[5] 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)

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

标题： 一种混合SMT-NRA求解器：集成基于2D单元跳跃的局部搜索、MCSAT和OpenCAD 显示英文标题

标题： A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD

Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO) ; 符号计算 (cs.SC)

[7] 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)

[8] 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)

[9] arXiv:2507.03860 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 泰勒模型物理信息神经网络（PINNs）用于常微分方程 显示英文标题

标题： Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations

Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha

评论： 22页，13图，4表，神经符号系统 2025

主题： 机器学习 (cs.LG) ; 符号计算 (cs.SC)

[10] arXiv:2507.04045 (交叉列表自 math.AC) [中文pdf, pdf, 其他]

标题： 通过在交换形式幂级数上的拓扑重写计算完备局部等特征诺特环 显示英文标题

标题： Computing in complete local equicharacteristic Noetherian rings via topological rewriting on commutative formal power series

Adya Musson-Leymarie

主题： 交换代数 (math.AC) ; 符号计算 (cs.SC)

[11] arXiv:2507.05017 (交叉列表自 cs.CL) [中文pdf, pdf, 其他]

标题： 带有混合可解释性的验证语言处理：技术报告 显示英文标题

标题： Verified Language Processing with Hybrid Explainability: A Technical Report

Oliver Robert Fox, Giacomo Bergami, Graham Morgan

主题： 计算与语言 (cs.CL) ; 符号计算 (cs.SC)

[12] arXiv:2507.07889 (交叉列表自 math.RA) [中文pdf, pdf, html, 其他]

标题： 一个交换微分环的积分微分闭包 显示英文标题

标题： The integro-differential closure of a commutative differential ring

Clemens G. Raab, Georg Regensburger

评论： 39页

主题： 环与代数 (math.RA) ; 符号计算 (cs.SC) ; 交换代数 (math.AC)

[13] 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)

[14] 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)

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

标题： GOFAI 与生成式 AI：通过大型语言模型开发专家系统 显示英文标题

标题： GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models

Eduardo C. Garrido-Merchán, Cristina Puente

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

[16] arXiv:2507.15449 (交叉列表自 cs.CR) [中文pdf, pdf, html, 其他]

标题： 对多变量CCZ方案的密码分析 显示英文标题

标题： Cryptanalysis of a multivariate CCZ scheme

Alessio Caminata, Elisa Gorla, Madison Mabe, Martina Vigorito, Irene Villa

评论： 欢迎！

主题： 密码学与安全 (cs.CR) ; 符号计算 (cs.SC)

[17] arXiv:2507.15665 (交叉列表自 math.CO) [中文pdf, pdf, html, 其他]

标题： 多米诺骨牌铺砌，非交叉格路和Koutschan-Krattenthaler-Schlosser行列式的子类 显示英文标题

标题： Domino tilings, nonintersecting lattice paths and subclasses of Koutschan-Krattenthaler-Schlosser determinants

Qipin Chen, Shane Chern, Atsuro Yoshida

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