Similar Items: Decision problems for linear recurrences involving arbitrary real numbers
- Computing the Density of the Positivity Set for Linear Recurrence Sequences
- Efficient Evaluation of Arbitrary Relational Calculus Queries
- Combining decision procedures for the reals
- Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
- Limits of real numbers in the binary signed digit representation
- Problems in number theory from busy beaver competition