All Questions

For an algebraic number $\alpha$, let $f_\alpha$ denote its minimal polynomial. We can symbolically represent an algebraic number $\alpha$ by the tuple $$ (f_\alpha, x, y, r) \in \mathbb{Q}[x] \times ...

For an algebraic number $\alpha$, let $f_\alpha$ denote its minimal polynomial. We can symbolically represent an algebraic number $\alpha$ by the tuple $$ (f_\alpha, x, y, r) \in \mathbb{Q}[x] \times ...

Let $f(x)=ax^2+bx+c$ and $f(x)=n$. Is there an algorithm to choose $a,b,c$ such that the discriminant is minimized? Where $a,b,c,n,x$ are all integers. More concretely, is there an algorithm to find $...

Here are two ways to define Hilbert's tenth problem over a ring $R$: Given a polynomial $p \in \mathbb Z[x_1,\ldots,x_n]$, can one decide whether it has a solution in $R^n$? Given a polynomial $p \in ...

You have an oracle that decides if a smooth projective variety over $\mathbb{Q}$ has a $\mathbb{Q}$-point. Can you then algorithmically decide if an arbitrary variety over $\mathbb{Q}$ has a $\mathbb{...

Let's say that a real number has a simple trigonometric representation, if it can be represented as a product of zero or more rational powers of positive integers and zero or more (positive or ...