实体
abstract algebra
abstract algebra
PulseAugur coverage of abstract algebra — every cluster mentioning abstract algebra across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
抽象代数教材中发现错误；VMware用户面临新障碍
一篇博文详细介绍了在Dummit和Foote的抽象代数教材中发现的一个错误。另外，一篇技术文章讨论了Broadcom决定移除VDDK下载如何使得用户更难离开VMware。
-
数据集将研究生代数问题形式化以供AI验证
研究人员开发了Lean-GAP，一个包含430个形式化研究生代数问题的数据集，这些问题源自Dummit和Foote的著作《抽象代数》。该过程涉及一个用于PDF到LaTeX预处理和自动形式化为Lean 4的流水线，但人工监督对验证至关重要。这项工作贡献了一个结构化数据集、一种形式化数学文本的方法，以及对将非正式陈述转化为正式语言的挑战的分析，包括对自动形式化模型的比较。