RENE

swMATH11645MaRDI QIDQ23585

No author found.

Described by source

• Plane geometry: An elementary school textbook (ca. 2050 AD).

Related Items (1)

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

This page was built for software: RENE