Login
|
New Account
ITA
ENG
"Russian killer" no. 2: A challenging geometric theorem with human and machine proofs
Authors
Hou, XR
Li, HB
Wang, DM
Yang, L
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