"Russian Killer" No. 2: A Challenging Geometric Theorem with Human and Machine Proofs.: A Challenging Geometric Theorem with Human and Machine Proofs.

• Autores: Xiaorong Hou
• Localización: Mathematical intelligencer, ISSN 0343-6993, Vol. 23, Nº 1, 2001
• Idioma: alemán
• DOI: 10.1007/bf03024512
• Texto completo no disponible (Saber más ...)