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.

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

In this paper, we give several results for majorized matrices by using continuous convex function and Green function. We obtain…

2011

In dieser Arbeit beschAftigen wir uns mit dem Orbitabschlussproblem fUr Algebren in der Theorie der algebraischen…

2010

We propose and study quantitative measures of smoothness f↦A(f) which are adapted to anisotropic features such as edges in images…

2006

The stability of a class of polynomial systems is investigated by constructing a polynomial Lyapunov function. The key technique…

2005

— Using the properties of Lipschitz stratification we show that some functions on a semi-analytic sets, in particular the…

2000

Holonomic and semi-holonomic geometries modelled on a homogeneous space G/P are introduced as reductions of the holonomic or semi…

1997

In this paper, we study abelian varieties of dimension 4 over number fields with the property that the Lie algebra of their…

1993

Ce seminaire a permis de reunir de nombreux chercheurs forestiers africains et francais autour des recherches en cours sur la…

1992

A semi-affine algebra is considered complete if it is a simple affine algebra, and the question of under what conditions a semi…

1980

The paper presents a sufficient condition for quasiconvexity in terms of Hessian, hereby extending an earlier result by Katzner…