RENE

MaRDI QIDQ23585swMATHFDO

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