``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (Q5949275)
From MaRDI portal
scientific article; zbMATH DE number 1674349
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. |
scientific article; zbMATH DE number 1674349 |
Statements
``Russian killer'' No. 2: a challenging geometric theorem with human and machine proofs. (English)
0 references
18 November 2001
0 references
0 references
