罗德里戈奥奇加梅 自动化数学和重新配置证明和劳动。 (英语) Zbl 07864495号 牛市。美国数学。Soc.,新Ser。 61,第3期,423-437(2024).MSC公司:00A30型 01A80号 68伏15 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{R.Ochigame},公牛。美国数学。Soc.,新Ser。61,编号3,423--437(2024;Zbl 07864495) 全文: DOI程序 arXiv公司
科林·麦克拉蒂 庞加莱关于推理机的价值。 (英语) Zbl 07864494号 牛市。美国数学。Soc.,新Ser。 61,编号3,411-422(2024).MSC公司:68-03 PDF格式BibTeX公司 XML格式引用 \textit{C.McLarty},公牛。美国数学。Soc.,新Ser。61,编号3,411-422(2024;Zbl 07864494) 全文: DOI程序
西蒙·迪迪奥 Alephzero和数学经验。 (英语) Zbl 07864491号 牛市。美国数学。Soc.,新Ser。 61,编号3,375-386(2024).MSC公司:00A30型 00A35型 01A80号 68伏15 91E10型 97立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Dedeo},公牛。美国数学。Soc.,新Ser。61,编号3,375--386(2024;Zbl 07864491) 全文: DOI程序 arXiv公司
约翰·德梅林;亚当·托帕兹 抽象边界和规范驱动的纯数学开发。 (英语) Zbl 07826994号 牛市。美国数学。Soc.,新Ser。 61,第2期,241-255(2024年).MSC公司:68伏30 68V20型 00A35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Commelin}和\textit{A.Topaz},公牛。美国数学。Soc.,新Ser。61,第2号,241--255(2024;Zbl 07826994) 全文: DOI程序 arXiv公司 反向链接: 卫生官员