The following pages link to (Q4234243):
Displayed 4 items.
- Equality in computer algebra and beyond. (Q1404423) (← links)
- Dynamic evaluation and real closure. (Q1565836) (← links)
- Effective asymptotics of linear recurrences with rational coefficients (Q1917520) (← links)
- Finding at least one point in each connected component of a real algebraic set defined by a single equation (Q5925972) (← links)