Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
We consider the problem of minimizing the sum of a smooth function $h$ with a bounded Hessian, and a nonsmooth function. We… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
2015
2015
One of the most important topics of interest to investors is stock price changes. Investors whose goals are long term are… Expand
  • table 2
Highly Cited
2013
Highly Cited
2013
In view of the minimization of a nonsmooth nonconvex function f, we prove an abstract convergence result for descent methods… Expand
2012
2012
This paper, devoted to sampling inequalities, provides some extensions of previous results by Arcangéli et al. (Numer Math 107(2… Expand
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… Expand
2009
2009
Several authors have introduced sequential relaxation techniques – based on linear and/or semi-definite programming – to generate… Expand
2004
2004
Using tools from combinatorics, convex geometry and symplectic geometry, we study the behavior of the Kostka numbers Kλβ and… Expand
  • figure 2-1
  • figure 2-2
  • figure 3-1
  • figure 3-2
  • table 3.1
Highly Cited
2002
Highly Cited
2002
This is the first of a series devoted to the approximation theory of the p-version of the finite element method in two dimensions… Expand
2002
2002
Abstract. In the constraint database community FO+poly and FO+linear have been proposed as foundations for spatial database query… Expand
1993
1993
Ce seminaire a permis de reunir de nombreux chercheurs forestiers africains et francais autour des recherches en cours sur la… Expand