activity
20152026
most citedComputational Problems in Metric Fixed Point Theory and their Weihrauch Degrees

34 citations · 54 across the 14 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020★ 5 cited

Decision problems for linear recurrences involving arbitrary real numbers

Eike Neumann

We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number…