C

Chu Gao and Jang

Person

Researchers who released a paper in October 2000 detailing a database of 75 geometry rules used for problem-solving.

Mentioned in 1 video

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

3Blue1Brown

Researchers who released a paper in October 2000 detailing a database of 75 geometry rules used for problem-solving.