A Padovan-automatic description of a nested recurrence YMVA1SJ640

URI	`m2://res/YMVA1SJ640`
Kind	preprint
Creators	Benoit Cloitre, Haobo Ma, Wenlin Zhang
Date	2026-09-27
MSC	11-XX, 05-XX
Subjects	arxiv math.NT, arxiv math.CO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
4P0H3GK9PY	statement	lemma 2.2	arxiv
5S52KWXCK0	statement	corollary 5.3	arxiv
D7P88K3A95	statement	proposition 5.2	arxiv
Certified addition	statement	proposition 2.3	arxiv
H16M7SH9M0	statement	proposition 3.2	arxiv
QR5PYES958	statement	lemma 4.1	arxiv
RK7QAWT529	statement	proposition 3.1	arxiv
Effective global extrema	statement	proposition 4.2	arxiv
Y88ERXDHDA	statement	lemma 2.1	arxiv
YWZG1CK7V5	statement	theorem 1.1	arxiv
YX4ZRM1V2S	statement	lemma 5.1	arxiv