"Russian killer" no. 2: A challenging geometric theorem with human and machine proofs

Citation
Xr. Hou et al., "Russian killer" no. 2: A challenging geometric theorem with human and machine proofs, MATH INTELL, 23(1), 2001, pp. 9-15
Citations number
11
Language
INGLESE
art.tipo
Article
Categorie Soggetti
Mathematics
Journal title
MATHEMATICAL INTELLIGENCER
ISSN journal
0343-6993 → ACNP
Volume
23
Issue
1
Year of publication
2001
Pages
9 - 15
Database
ISI
SICI code
0343-6993(200124)23:1<9:"KN2AC>2.0.ZU;2-Z