Zobrazeno 1 - 4
of 4
pro vyhledávání: '"real number theory"'
Autor:
Yaoshun Fu, Wensheng Yu
Publikováno v:
Mathematics, Vol 9, Iss 1, p 38 (2020)
The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential. In this paper, we describe the
Externí odkaz:
https://doaj.org/article/8e4d74242b8e4d7aa21f6b39c3967e87
Autor:
Wensheng Yu, Yaoshun Fu
Publikováno v:
Mathematics, Vol 9, Iss 38, p 38 (2021)
Mathematics
Volume 9
Issue 1
Mathematics
Volume 9
Issue 1
The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential. In this paper, we describe the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::290f72b43cf21ffca24fd20cf7ff14b4
https://www.mdpi.com/2227-7390/9/1/38
https://www.mdpi.com/2227-7390/9/1/38
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.