In computer algebra, a regular semi-algebraic system is a particular kind of triangular system of multivariate polynomials over a real closed field.

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

2014

2014

- Jingjun Han, Liyun Dai, Bican Xia
- ISSAC
- 2014

A new projection operator based on cylindrical algebraic decomposition (CAD) is proposed. The new operator computes theâ€¦Â (More)

Is this relevant?

Highly Cited

2013

Highly Cited

2013

- HÃ©dy Attouch, JÃ©rÃ´me Bolte, Benar Fux Svaiter
- Math. Program.
- 2013

In view of the minimization of a nonsmooth nonconvex function f , we prove an abstract convergence result for descent methodsâ€¦Â (More)

Is this relevant?

2010

2010

- Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
- ISSAC
- 2010

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions ofâ€¦Â (More)

Is this relevant?

2006

2006

In this paper we deal with the problem of computing Lyapunov functions for stability verification of differential systems. Weâ€¦Â (More)

Is this relevant?

2006

2006

- Svetlana Lazebnik, Cordelia Schmid, Jean Ponce
- Toward Category-Level Object Recognition
- 2006

This chapter presents an approach for texture and object recognition that uses scaleor affine-invariant local image features inâ€¦Â (More)

Is this relevant?

2005

2005

- Xavier CabrÃ©
- 2005

with Ï† a Câˆž function with compact support in Î©. Note that Qu corresponds to the second variation of the energy associated to (1â€¦Â (More)

Is this relevant?

2003

2003

- B. Siddik Yarman, Ahmet Aksen, Ebru GÃ¼rsu Ã‡imen
- ISCAS
- 2003

~n this paper, a semi-analytic method is presented to describe symmetrical lossless networks with two-kinds of elements, namelyâ€¦Â (More)

Is this relevant?

1997

1997

- Serge Nicaise
- 1997

The solution of the Dirichlet problem relative to an elliptic system in a polyhedron has a complex singular behaviour near edgesâ€¦Â (More)

Is this relevant?

1997

1997

- R (Heidari) Noot
- 1997

In this paper, we study abelian varieties of dimension 4 over number fields with the property that the Lie algebra of theirâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- A. J. Wilkie
- 1996

Recall that a subset of R is called semi-algebraic if it can be represented as a (finite) boolean combination of sets of the formâ€¦Â (More)

Is this relevant?