×

Found 1,068 Documents (Results 1–100)

Positivity problems for reversible linear recurrence sequences. (English) Zbl 07944168

Etessami, Kousha (ed.) et al., 50th international colloquium on automata, languages, and programming, ICALP 2023, Paderborn, Germany, July 10–14, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 261, Article 130, 17 p. (2023).
MSC:  11B37
Full Text: DOI

On the Skolem problem and the Skolem conjecture. (English) Zbl 07954820

Baier, Christel (ed.) et al., Proceedings of the 2022 37th annual ACM/IEEE symposium on logic in computer science, LICS 2022, Haifa, Israel, August 2–5, 2022. New York, NY: Association for Computing Machinery (ACM). Article No. 5, 9 p. (2022).
MSC:  11B37 11U05
Full Text: DOI

Filter Results by …

Access

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference