``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.

DOI10.1007/BF03024512zbMath1055.51502MaRDI QIDQ5949275

Xiaorong Hou, Lu Yang, Dongming Wang, Hong-Bo Li

Publication date: 18 November 2001

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Mathematics Subject Classification ID

Real and complex geometry (51M99)

Uses Software

• GEOTHER 1.1
• RENE

Cites Work

• Unnamed Item
• Transcendental functions and mechanical theorem proving in elementary geometries
• Clifford algebraic reduction method for automated theorem proving in differential geometry
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Vectorial equations solving for mechanical geometry theorem proving
• Plane geometry: An elementary school textbook (ca. 2050 AD).

This page was built for publication: ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.