activity
20072026
most citedOn the decidability and complexity of Metric Temporal Logic over finite words

113 citations · 317 across the 70 of their papers we have counts for

collaborators
Showing math.NTShow all

7 papers · 1 filter

math.NT2024

Transcendence of Hecke-Mahler Series

Florian Luca, Joel Ouaknine, James Worrell

We prove transcendence of the Hecke-Mahler series , where is a non-constant polynomial is a real numbe…

math.NT2024

Transcendence for Pisot Morphic Words over an Algebraic Base

Pavol Kebis, Florian Luca, Joel Ouaknine +2

It is known that for a uniform morphic sequence and an algebraic number such that , the number $[\![\boldsymbol{u} ]\!]…

math.NT2024

Twisted rational zeros of linear recurrence sequences

Yuri Bilu, Florian Luca, Joris Nieuwveld +2

We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rat…

math.NT2022

On the -adic zeros of the Tribonacci sequence

Yuri Bilu, Florian Luca, Joris Nieuwveld +2

In this paper, we refute some conjectures of Marques and Lengyel concerning the -adic valuations of members of the Tribonacci sequence.

math.NT2022

On the transcendence of a series related to Sturmian words

Florian Luca, Joël Ouaknine, James Worrell

Let be an algebraic number with and a finite set of algebraic numbers. We study the transcendence of numbers of the form $\sum_{n=0}^\infty \frac{a_n}{b^n…

math.NT2020

On Positivity and Minimality for Second-Order Holonomic Sequences

George Kenison, Oleksiy Klurman, Engel Lefaucheux +5

An infinite sequence of real numbers is holonomic (also known as P-recursive or P-finite) if it satisfies a linear recurrence relation with p…