Geometry theorem proving by decomposing polynomial system into strong regular sets
Keyword(s):
1995 ◽
Vol 13
(1-2)
◽
pp. 73-95
◽
2009 ◽
Vol 3
(3)
◽
pp. 231
◽
2001 ◽
pp. 268-305
◽