实体
Zeta Ursae Majoris
Zeta Ursae Majoris
PulseAugur coverage of Zeta Ursae Majoris — every cluster mentioning Zeta Ursae Majoris across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
研究人员跨证明助手对乔丹曲线定理进行再形式化
研究人员详细介绍了三种再形式化实例，即形式化证明在不同证明助手之间进行翻译的过程。该研究专门关注乔丹曲线定理的再形式化，成功地将其从Mizar转换为Lean，并将HOL Light转换为Lean和Agda。分析旨在确定影响此类再形式化任务效率和实用性的关键设计选择。
-
罕见的“炽热之星”爆发预计在2026年6月25日
天文学家们正在期待一次罕见的恒星事件，即周期性新星 T Coronae Borealis (T CrB) 的爆发，它被昵称为“炽热之星”。这次事件大约每80年发生一次，预计将在2026年6月25日左右发生。在爆发期间，T CrB 的亮度预计将从通常的微弱星等显著增加，达到肉眼可见的程度，在北冕座中看起来像一颗新星。这种现象是由一个双星系统中的白矮星从其红巨星伴星那里积累气体引起的，从而导致热核爆发。