The Machine-Checked Complete Formalization of Landau’s Foundations of Analysis in Rocq
Formal verification has achieved remarkable outcomes in both theory advancement and engineering practice, with the formalization of mathematical theories serving as its foundational cornerstone—making this process particularly critical. Axiomatic set theory underpins modern mathematics, providing th...
-д хадгалсан:
| Үндсэн зохиолчид: | , , |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
MDPI AG
2025-12-01
|
| Цуврал: | Mathematics |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://www.mdpi.com/2227-7390/14/1/61 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|