Construction of the circle in \textit{UniMath} (Q2031555)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Construction of the circle in \textit{UniMath} |
scientific article; zbMATH DE number 7357172
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Construction of the circle in \textit{UniMath} |
scientific article; zbMATH DE number 7357172 |
Statements
Construction of the circle in \textit{UniMath} (English)
0 references
9 June 2021
0 references
0.83489156
0 references
0.8055023
0 references
0.78559357
0 references
0 references
0.7763577
0 references
0.7759969
0 references
