Some results on theorem proving in geometry over finite fields

Dongdai Lin(Institute of Information Engineering), Zhuojun Liu(Peking University)
Unknown
January 1, 1993
Cited by 8


Related Papers