Euclid after Computer Proof-Checking (Q5094535)
From MaRDI portal
scientific article; zbMATH DE number 7566943
Language | Label | Description | Also known as |
---|---|---|---|
English | Euclid after Computer Proof-Checking |
scientific article; zbMATH DE number 7566943 |
Statements
Euclid after Computer Proof-Checking (English)
0 references
3 August 2022
0 references
0 references