Some Results on Theorem Proving in Geometry over Finite Fields.

Dongdai Lin, Zhuojun Liu

Browse the full ISSAC paper archive.