Merkliste 
 1 Ergebnisse 
 
1

Geometry theorem proving by decomposing polynomial system i..:

Li, Yong-Bin ; Liu, Wu ; Xiang, Xiao-Lin
Journal of Computer Science and Technology.  19 (2004)  6 - p. 820-827 , 2004