Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 36563
1 vote

Simple criterion to verify that the real zeros are an irreducible algebraic set

Let $p \in \mathbb{R}[x_1, \ldots, x_n]$ be irreducible. If there is a point $v \in \mathbb{R}^n$ such that $p(v)=0$ and sucht that the gradient $\nabla p(v) \neq 0$. Then, by the Artin-Lang-Theorem, …
Hans's user avatar
  • 3,031
3 votes
1 answer
159 views

Sum of Squares Length of a Product

Let $n \geq 2$. Let $g_1, \ldots , g_{n-1} \in \mathbb{R}[x_1,\ldots,x_n]$ such that $q=g_1^2+\ldots +g_{n-1}^2$ is not divisible by $p=x_1^2+\ldots +x_n^2$. Let $m \geq 1$ be the smallest integer suc …
Hans's user avatar
  • 3,031
1 vote
0 answers
92 views

vector space of ternary forms with real rooted property

Let $V \subseteq \mathbb{R}[x,y]_d$ be a two dimensional linear subspace of the vector space of bivariate forms of degree $d$. For each degree $d$ we can find such subspaces with the property that eve …
Hans's user avatar
  • 3,031
12 votes
2 answers
497 views

"Pythagoras number" for integral matrices

It is classically known that every positive integer is a sum of at most four squares of integers, i.e. every sum of squares of integers is a sum of four squares of integers. Now consider a symmetric $ …
Hans's user avatar
  • 3,031
6 votes
Accepted

Compactness of a semi algebraic set

Let $p \in \mathbb{R}[x_1, \ldots, x_n]$. The set $S=\{x \in \mathbb{R}^n: p(x) \geq 0\}$ is compact if and only if there is a natural number $N$ and polynomials $g_i, h_i \in \mathbb{R}[x_1, \ldots, …
Hans's user avatar
  • 3,031