``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
From MaRDI portal
Publication:5949275
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)
Uses Software
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.