数学软件

最近提交的作者和标题

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

查看今天的 新的 变化

2025年08月04日， 星期一 (继续， 展示 最后 3 之 1 条目 )

[4] 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日， 星期五

此时间段没有更新。