activity
20112025
most citedA Successive Resultant Projection for Cylindrical Algebraic Decomposition

1 citations · 2 across the 7 of their papers we have counts for

collaborators

7 papers

cs.SC2025

Majorization and Inequalities among Complete Homogeneous Symmetric Functions

Jia Xu, Yong Yao

Inequalities among symmetric functions are fundamental in various branches of mathematics, thus motivating a systematic study of their structure. Majorization has been shown to cha…

math.CO2023

Inequalities among Symmetric Polynomial Functions: Counter-examples and New Conjectures

Jia Xu, Yong Yao

Inequalities among symmetric polynomial functions are fundamental questions in mathematics and have various applications in science and engineering. This paper investigates a beaut…

math.AG2019

A sufficient condition for local nonnegativity

Jia Xu, Yong Yao

A real polynomial is called local nonnegative at a point , if it is nonnegative in a neighbourhood of . In this paper, a sufficient condition for determining this propert…

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…

math.AG2012

The expansion of real forms on the simplex and applications

Yong Yao, Jia Xu, Jingzhong Zhang

If n points B_1,---,B_n$ in the standard simplex Δ_n are affinely independent, then they can span an (n-1)-simplex denoted by Λ=Con(B_1,---,B_n). Here Λcorresponds to an n*n matrix…