# Questions tagged [real-algebraic-geometry]

Real algebraic geometry is the study of real solutions to algebraic equations with real coefficients. Its methods are rather different from classical algebraic geometry, which is typically done over an algebraically closed field (like the complex numbers).

282 questions
Filter by
Sorted by
Tagged with
63 views

### Topology types in families of real or complex varieties

In René Thom, "Structural Stability and Morphogenesis" on p. 21ff there is the following statement: Let $$P_j(x_i,s_k) = 0$$ be a set of polynomial equations over the real or complex numbers,...
• 630
82 views

### Multivariate polynomials with given real zeros

Given natural numbers $N$ and $n$, I am looking for a family $P_{Nn}$ of polynomials in $n$ variables with the following properties: (i) Every polynomial in $P_{Nn}$ is determined by the function ...
• 3,503
393 views

### About Euclidean distances

$\newcommand\R{\mathbb R}$Let $0<d_1<\cdots<d_k<\infty$ and let $m_1,\dots,m_k$ be any integers $\ge1$. Let $n:=m_1+\dots+m_k-1$. Let $d$ denote the Euclidean distance in $\R^n$. Do then ...
• 82.1k
1 vote
71 views

### Computer algebra tools for finding real dimension of an algebraic variety

I have a system of polynomial equations with the unknowns being real numbers. The set of solutions is infinite. What software can I use to compute the real dimension of the solution set? The CAD-based ...
• 135
43 views

### Plot two implicit surfaces in 3D and highlight their intersection [closed]

I want to plot the two surfaces which are defined in $\mathbb{ R }^3 \ni ( x, y, z )$ via the equations $0 = y^2 - x*(x^2 + 1)$ and $0 = z^2 - y*(y^2 + 1)$, respectively. Moreover, I want also ...
• 327
1 vote
278 views

### An inequality in four variables

Let $f(x,y)=\frac{10xy-(x+y)+1}{8xy-2(x+y)+5}$ and $g(x,y)=\frac{1}{4}\left[1+\frac{1}{3}(4x-1)(4y-1)\right]$. I want to prove that for any $0.5\le a\le b\le 1$ and $0.7\le c\le d\le 1$, it holds that ...
• 491
1k views

• 3,773
1 vote
87 views

### Finite number of topological spaces realized by varieties of bounded degree?

I am not familiar with algebraic geometry so I am sorry if this question is terribly ignorant. Any basic reference is appreciated. Is there a finite bound on the number of topological spaces that can ...
• 607
138 views

### On an angle distribution of a random linear subspace of a given dimension

$\newcommand\R{\mathbb R}$ Let $u$ be a fixed unit vector in $\R^n$, and let $\Pi_u$ be the hyperplane in $\R^n$ with normal vector $u$. Let $B$ be the (say open) unit ball in $\R^n$ centered at the ...
• 82.1k
145 views

• 3,804
1 vote
56 views

### Lower bounds on lengths of sum-of-squares representations of particular polynomials

I am looking for literature on the problem of finding minimal (in the sense of number of terms) sum-of-squares representations of particular non-negative multivariate polynomials with rational ...
93 views

### Complexity of polynomial inequalities

What is known about the complexity of deciding whether a finite set of polynomial inequalities in $n$ real variables with integer coefficients is satisfiable? Decidability is guaranteed by Tarski's ...
• 3,503
1 vote