RENE

swMATH11645MaRDI QIDQ23585FDOQ23585

Author name not available (Why is that?)

Official website: http://www.math.rutgers.edu/~zeilberg/programs.html

Described by source

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

Cited In (1)

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

This page was built for software: RENE