数学软件

最近提交的作者和标题

• 2025年08月06日， 星期三
• 2025年08月05日， 星期二
• 2025年08月04日， 星期一
• 2025年08月01日， 星期五
• 2025年07月31日， 星期四

查看今天的 新的 变化

2025年08月06日， 星期三

此时间段没有更新。

2025年08月05日， 星期二

此时间段没有更新。

2025年08月04日， 星期一 (展示 3 之 3 条目 )

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

标题： DGEMM 不使用 FP64 算法 -- 使用 FP64 模拟和 FP8 张量核心与 Ozaki 方案 显示英文标题

标题： DGEMM without FP64 Arithmetic -- using FP64 Emulation and FP8 Tensor Cores with Ozaki Scheme

Daichi Mukunoki

主题： 性能 (cs.PF) ; 硬件架构 (cs.AR) ; 数学软件 (cs.MS)

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

标题： 芯片引爆：用于多图上芯片引爆游戏高效数学分析的Python包 显示英文标题

标题： chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs

Dhyey Dharmendrakumar Mavani, Tairan Ji, Nathan Pflueger

主题： 组合数学 (math.CO) ; 计算几何 (cs.CG) ; 数学软件 (cs.MS) ; 代数几何 (math.AG)

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

标题： 扩展摘要：部分封装及其在ACL2中对浮点运算的支持 显示英文标题

标题： Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2

Matt Kaufmann, J Strother Moore

评论： 在ACL2 2025会议论文集中，arXiv:2507.18567

期刊参考： EPTCS 423，2025，第56-59页

主题： 计算机科学中的逻辑 (cs.LO) ; 数学软件 (cs.MS)

2025年08月01日， 星期五

此时间段没有更新。

2025年07月31日， 星期四

此时间段没有更新。