Abstract
We prove several conjectures from the On-Line Encyclopedia of Integer Sequences, concerned with constrained lattice point enumeration, pattern-avoiding words, rounding-related formulas, and greedily defined sequences. Our methods are mostly elementary and include generating functions, recurrence analysis, and symbolic combinatorics.
| Original language | English |
|---|---|
| Article number | 25.4.3 |
| Journal | Journal of Integer Sequences |
| Volume | 28 |
| Issue number | 4 |
| State | Published - 1 Jan 2025 |
| Externally published | Yes |
Keywords
- generating function
- lattice point
- pattern-avoidance
ASJC Scopus subject areas
- Discrete Mathematics and Combinatorics
Fingerprint
Dive into the research topics of 'Proofs of Several Conjectures From the OEIS'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver