# Regular semi-algebraic system

Known as: Regular
In computer algebra, a regular semi-algebraic system is a particular kind of triangular system of multivariate polynomials over a real closed field.
Wikipedia (opens in a new tab)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
• International Conference on Verification, Model…
• 2016
• Corpus ID: 216093589
This paper presents a method for generating semi-algebraic invariants for systems governed by non-linear polynomial ordinary…
Highly Cited
2015
Highly Cited
2015
• SIAM Journal on Optimization
• 2015
• Corpus ID: 321883
We consider the problem of minimizing the sum of a smooth function $h$ with a bounded Hessian, and a nonsmooth function. We…
Highly Cited
2013
Highly Cited
2013
• Mathematical programming
• 2013
• Corpus ID: 6597608
In view of the minimization of a nonsmooth nonconvex function f, we prove an abstract convergence result for descent methods…
2013
2013
• 2013
• Corpus ID: 26124326
In this paper, we give several results for majorized matrices by using continuous convex function and Green function. We obtain…
Highly Cited
2009
Highly Cited
2009
We consider the class of semistable solutions to semilinear equations −Δu = f(u) in a bounded smooth domain Ω of \input amssym…
Highly Cited
2004
Highly Cited
2004
• 2004
• Corpus ID: 32805170
Previous research on the solutions of two-point boundary value problems is applied to spacecraft formation dynamics and design…
Highly Cited
2002
Highly Cited
2002
• SIAM Journal on Numerical Analysis
• 2002
• Corpus ID: 15207544
This is the first of a series devoted to the approximation theory of the p-version of the finite element method in two dimensions…
1992
1992
• J. Warga
• SIAM J. Optim.
• 1992
• Corpus ID: 5272931
Let U be an open subset of $\mathbb{R}^n$, X a compact semi-analytic subset of U, \$(f_0 ,f):U \to \mathbb{R} \times \mathbb{R}^n…
1980
1980
The paper presents a sufficient condition for quasiconvexity in terms of Hessian, hereby extending an earlier result by Katzner…