符号计算

2025年08月 的作者和标题

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

标题： 一种用于实量词消去的非均匀圆柱代数分解变体 显示英文标题

标题： A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination

Jasper Nalbach, Erika Ábrahám

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

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

标题： 单细胞构造的投影可判定性 显示英文标题

标题： Projective Delineability for Single Cell Construction

Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi

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

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

标题： 代数可观测的物理信息神经网络及其在流行病学建模中的应用 显示英文标题

标题： Algebraically Observable Physics-Informed Neural Network and its Application to Epidemiological Modelling

Mizuka Komatsu

主题： 符号计算 (cs.SC) ; 机器学习 (cs.LG) ; 动力系统 (math.DS) ; 定量方法 (q-bio.QM)

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

标题： 基于树的深度学习用于排序符号积分算法 显示英文标题

标题： Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms

Rashid Barket, Matthew England, Jürgen Gerhard

评论： 29页，13图，5表，提交至《数学软件汇刊》（TOMS）

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

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

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

标题： Generalized ODE reduction algorithm with bounded degree transformation

Shaoxuan Huang

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

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

标题： 稀疏多项式的快速乘法 显示英文标题

标题： Probably faster multiplication of sparse polynomials

Joris van der Hoeven

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

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

标题： 用于具有随机时钟的矩形自动机的可到达性分析扩展 显示英文标题

标题： Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks

Jonas Stübbe, Anne Remke, Erika Ábrahám

评论： 本文已被接受发表（不包括附录）在第27届国际符号与数值算法科学计算研讨会（SYNASC）的论文集上。附录是提交的一部分，提供了未包含在SYNASC出版物中的附加材料。

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

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

标题： 光滑完全交实代数集每个连通分支的至少一个点的计算的细化位复杂度 显示英文标题

标题： Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set

Jesse Elliott, Mark Giesbrecht, Edern Gillot (PolSys), Mohab Safey El Din (PolSys), Éric Schost

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

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

标题： 绿色计算：可持续未来的终极碳破坏者 显示英文标题

标题： Green Computing: The Ultimate Carbon Destroyer for a Sustainable Future

Sayed Mahbub Hasan Amiri, Prasun Goswami, Md. Mainul Islam, Mohammad Shakhawat Hossen, Marzana Mithila, Naznin Akter

评论： 26页，6表

主题： 计算机与社会 (cs.CY) ; 符号计算 (cs.SC)

[10] arXiv:2508.00749 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 动态符号执行用于组件和连接器架构的语义差异分析 显示英文标题

标题： Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

主题： 软件工程 (cs.SE) ; 形式语言与自动机理论 (cs.FL) ; 符号计算 (cs.SC)

[11] arXiv:2508.02918 (交叉列表自 math.DS) [中文pdf, pdf, 其他]

标题： 对称性类的中心构型分解 显示英文标题

标题： Decomposition of Symmetrical Classes of Central Configurations

Marcelo P. Santos (1), Leon D. da Silva (1) ((1) Federal Rural University of Pernambuco)

主题： 动力系统 (math.DS) ; 符号计算 (cs.SC) ; 表示理论 (math.RT)

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

标题： 神经符号人工智能方法在可解释逻辑推理中的比较研究 显示英文标题

标题： A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Michael K. Chen

评论： 被NeSy 2025接受

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

[13] arXiv:2508.04081 (交叉列表自 cs.DS) [中文pdf, pdf, html, 其他]

标题： 矩阵乘法时间内的精确匹配 显示英文标题

标题： Exact Matching in Matrix Multiplication Time

Ryotaro Sato, Yutaro Yamaguchi

评论： 12页

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

[14] arXiv:2508.05284 (交叉列表自 cs.IT) [中文pdf, pdf, html, 其他]

标题： 同时有理函数码：超越最小距离一半的改进分析，考虑重数和极点 显示英文标题

标题： Simultaneous Rational Function Codes: Improved Analysis Beyond Half the Minimum Distance with Multiplicities and Poles

Matteo Abbondati, Eleonora Guerrini, Romain Lebreton

评论： arXiv管理员注释：与arXiv:2504.08472存在大量文本重叠

主题： 信息论 (cs.IT) ; 符号计算 (cs.SC)

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

标题： 一个知识图谱用于土壤碳建模 显示英文标题

标题： A Knowledge Graph Informing Soil Carbon Modeling

Nasim Shirvani-Mahdavi, Devin Wingfield, Juan Guajardo Gutierrez, Mai Tran, Zhengyuan Zhu, Zeyu Zhang, Haiqi Zhang, Abhishek Divakar Goudar, Chengkai Li, Virginia Jin, Timothy Propst, Dan Roberts, Catherine Stewart, Jianzhong Su, Jennifer Woodward-Greene

主题： 计算机与社会 (cs.CY) ; 符号计算 (cs.SC)

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

标题： 二元分解三项式用于快速模运算 显示英文标题

标题： Dyadically resolving trinomials for fast modular arithmetic

Robert Dougherty-Bliss, Mits Kobayashi, Natalya Ter-Saakov, Eugene Zima

评论： 15页

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

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

标题： LLMSymGuard：一种利用可解释的越狱概念的符号安全护栏框架 显示英文标题

标题： LLMSymGuard: A Symbolic Safety Guardrail Framework Leveraging Interpretable Jailbreak Concepts

Darpan Aswal, Céline Hudelot

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

[18] arXiv:2508.17882 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： modelSolver：一种用于电力网络仿真和监测的符号模型驱动求解器 显示英文标题

标题： modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring

Izudin Dzafic, Rabih A. Jabr

主题： 软件工程 (cs.SE) ; 符号计算 (cs.SC) ; 系统与控制 (eess.SY)

[19] arXiv:2508.18123 (交叉列表自 cs.DB) [中文pdf, pdf, html, 其他]

标题： 观点：一种面向硬件的图数据库模型用于存储语义信息 显示英文标题

标题： Views: A Hardware-friendly Graph Database Model For Storing Semantic Information

Yanjun Yang, Adrian Wheeldon, Yihan Pan, Alex Serb

主题： 数据库 (cs.DB) ; 硬件架构 (cs.AR) ; 分布式、并行与集群计算 (cs.DC) ; 符号计算 (cs.SC)

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

标题： 游戏风格与人工智能：通过视频游戏视角的初步蓝图 显示英文标题

标题： Playstyle and Artificial Intelligence: An Initial Blueprint Through the Lens of Video Games

Chiu-Chou Lin

评论： 博士论文，国立阳明交通大学，2025年。这是没有中文摘要或后记的公开版本

主题： 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 多智能体系统 (cs.MA) ; 符号计算 (cs.SC)

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

标题： 异构大语言模型方法用于本体学习（少样本提示、集成类型和基于注意力的分类体系） 显示英文标题

标题： Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)

Aleksandra Beliaeva, Temurbek Rahmatullaev

主题： 计算与语言 (cs.CL) ; 计算机科学中的逻辑 (cs.LO) ; 符号计算 (cs.SC)

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

标题： 组合系统的有效渐近分析 显示英文标题

标题： Effective Asymptotics of Combinatorial Systems

Carine Pivoteau, Bruno Salvy

评论： 78页

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

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

标题： 约束和目标的高效神经符号学习 显示英文标题

标题： Efficient Neuro-Symbolic Learning of Constraints and Objective

Marianne Defresne, Romain Gambardella, Sophie Barbe, Thomas Schiex

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

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

标题： 关于参数线性方程组求解 显示英文标题

标题： On Parametric Linear System Solving

Robert M. Corless, Mark Giesbrecht, Leili Rafiee Sevyeri, B. David Saunders

期刊参考： 在：Boulier, F., England, M., Sadykov, T.M., Vorozhtsov, E.V.（编）《科学计算中的计算机代数》。CASC 2020。计算机科学讲义（），第12291卷。Springer，查姆

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