×

Found 1,032 Documents (Results 1–100)

Solving third-order linear recurrence relations with applications to number theory and combinatorics. (English) Zbl 07820153

Elaydi, Saber (ed.) et al., Advances in discrete dynamical systems, difference equations and applications. ICDEA 26, Sarajevo, Bosnia and Herzegovina, July 26–30, 2021. Proceedings of the 26th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 416, 97-121 (2023).
PDFBibTeX XMLCite
Full Text: DOI

What’s decidable about discrete linear dynamical systems? (English) Zbl 1528.68228

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 21-38 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the Diophantine equations of the form \(\lambda_1U_{n_1} + \lambda_2U_{n_2} +\ldots + \lambda_kU_{n_k} = wp_1^{z_1}p_2^{z_2} \cdots p_s^{z_s}\). arXiv:2212.11945

Preprint, arXiv:2212.11945 [math.NT] (2022).
BibTeX Cite
Full Text: arXiv

\(X\)-coordinates of Pell equations in various sequences. (English) Zbl 1510.11034

Bostan, Alin (ed.) et al., Transcendence in algebra, combinatorics, geometry and number theory. TRANS19 – transient transcendence in Transylvania, Brașov, Romania, May 13–17, 2019. Revised and extended contributions. Cham: Springer. Springer Proc. Math. Stat. 373, 451-463 (2021).
MSC:  11B37 11B39
PDFBibTeX XMLCite
Full Text: DOI

Perfect powers in polynomial power sums. (English) Zbl 1520.11015

Adamović, Dražen (ed.) et al., Lie groups, number theory, and vertex algebras. Representation theory XVI. Conference, Inter-University Center, Dubrovnik, Croatia, June 24–29, 2019. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 768, 89-104 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automated termination analysis of polynomial probabilistic programs. (English) Zbl 1473.68053

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 491-518 (2021).
MSC:  68N30 68N19 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference