1 citations · 2 across the 4 of their papers we have counts for
2 papers
cs.SC2017★ 1 cited
A proof of Hilbert's theorem on ternary quartic forms with the ladder technique
Jia Xu, Yong Yao
This paper proposes a totally constructive approach for the proof of Hilbert's theorem on ternary quartic forms. The main contribution is the ladder technique, with which the Hilbe…
cs.SC2014★ 1 cited
A Successive Resultant Projection for Cylindrical Algebraic Decomposition
Yong Yao, Jia Xu, Lu Yang
This note shows the equivalence of two projection operators which both can be used in cylindrical algebraic decomposition (CAD) . One is known as Brown's Projection (C. W. Brown (2…