- #1

Dragonfall

- 1,030

- 4

## Homework Statement

Show that the set of polynomials with integer coefficients with at least 1 real root is decidable.

## The Attempt at a Solution

The question did not ask for specific language, just an intuitive finite algorithm will do.