New Findings on Mathematics from Beijing University of Posts and Telecommunications Summarized (Formalization of the Equivalence Among Completeness Theorems of Real Number In Coq).(Report)
In: Mathematics Week, 2021-02-16, S. 475-475
Zeitungsartikel
Zugriff:
Titel: |
New Findings on Mathematics from Beijing University of Posts and Telecommunications Summarized (Formalization of the Equivalence Among Completeness Theorems of Real Number In Coq).(Report)
|
---|---|
Zeitschrift: | Mathematics Week, 2021-02-16, S. 475-475 |
Veröffentlichung: | 2021 |
Medientyp: | Zeitungsartikel |
ISSN: | 1944-2440 (print) |
Sonstiges: |
|