Skip to main content

2018 | OriginalPaper | Buchkapitel

IntegerSequences: A Package for Computing with k-Regular Sequences

verfasst von : Eric Rowland

Erschienen in: Mathematical Software – ICMS 2018

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

IntegerSequences is a Mathematica package for computing with integer sequences. Its support for k-regular sequences includes basic closure properties, guessing recurrences, and computing automata. Recent applications have included establishing the structure of extremal a / b-power-free words, obtaining a product formula for the generating function enumerating binomial coefficients by their p-adic valuations, and proving congruences for combinatorial sequences modulo prime powers.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Allouche, J.-P., Shallit, J.: The ring of \(k\)-regular sequences. Theoret. Comput. Sci. 98, 163–197 (1992)MathSciNetCrossRef Allouche, J.-P., Shallit, J.: The ring of \(k\)-regular sequences. Theoret. Comput. Sci. 98, 163–197 (1992)MathSciNetCrossRef
2.
Zurück zum Zitat Charlier, É., Rampersad, N., Shallit, J.: Enumeration and decidable properties of automatic sequences. Int. J. Found. Comput. Sci. 23, 1035–1066 (2012)MathSciNetCrossRef Charlier, É., Rampersad, N., Shallit, J.: Enumeration and decidable properties of automatic sequences. Int. J. Found. Comput. Sci. 23, 1035–1066 (2012)MathSciNetCrossRef
3.
Zurück zum Zitat Christol, G., Kamae, T., Mendès France, M., Rauzy, G.: Suites algébriques, automates et substitutions. Bulletin de la Société Mathématique de France 108, 401–419 (1980)MathSciNetCrossRef Christol, G., Kamae, T., Mendès France, M., Rauzy, G.: Suites algébriques, automates et substitutions. Bulletin de la Société Mathématique de France 108, 401–419 (1980)MathSciNetCrossRef
4.
Zurück zum Zitat Eu, S.-P., Liu, S.-C., Yeh, Y.-N.: Catalan and Motzkin numbers modulo 4 and 8. Eur. J. Comb. 29, 1449–1466 (2008)MathSciNetCrossRef Eu, S.-P., Liu, S.-C., Yeh, Y.-N.: Catalan and Motzkin numbers modulo 4 and 8. Eur. J. Comb. 29, 1449–1466 (2008)MathSciNetCrossRef
7.
Zurück zum Zitat Parreau, A., Rigo, M., Rowland, E., Vandomme, É.: A new approach to the 2-regularity of the \(\ell \)-abelian complexity of 2-automatic sequences. Electron. J. Comb. 22 (2015) #P1.27 Parreau, A., Rigo, M., Rowland, E., Vandomme, É.: A new approach to the 2-regularity of the \(\ell \)-abelian complexity of 2-automatic sequences. Electron. J. Comb. 22 (2015) #P1.27
8.
Zurück zum Zitat Pudwell, L., Rowland, E.: Avoiding fractional powers over the natural numbers. Electron. J. Comb. 25 (2018) #P2.27 Pudwell, L., Rowland, E.: Avoiding fractional powers over the natural numbers. Electron. J. Comb. 25 (2018) #P2.27
10.
Zurück zum Zitat Rowland, E.: A matrix generalization of a theorem of Fine. Integers 18A, A18 (2018)MathSciNet Rowland, E.: A matrix generalization of a theorem of Fine. Integers 18A, A18 (2018)MathSciNet
11.
Zurück zum Zitat Rowland, E., Shallit, J.: Avoiding 3/2-powers over the natural numbers. Discrete Math. 312, 1282–1288 (2012)MathSciNetCrossRef Rowland, E., Shallit, J.: Avoiding 3/2-powers over the natural numbers. Discrete Math. 312, 1282–1288 (2012)MathSciNetCrossRef
12.
Zurück zum Zitat Rowland, E., Yassawi, R.: Automatic congruences for diagonals of rational functions. Journal de Théorie des Nombres de Bordeaux 27, 245–288 (2015)MathSciNetCrossRef Rowland, E., Yassawi, R.: Automatic congruences for diagonals of rational functions. Journal de Théorie des Nombres de Bordeaux 27, 245–288 (2015)MathSciNetCrossRef
13.
Zurück zum Zitat Rowland, E., Zeilberger, D.: A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences. J. Differ. Equ. Appl. 20, 973–988 (2014)MathSciNetCrossRef Rowland, E., Zeilberger, D.: A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences. J. Differ. Equ. Appl. 20, 973–988 (2014)MathSciNetCrossRef
15.
Zurück zum Zitat Spiegelhofer, L., Wallner, M.: An explicit generating function arising in counting binomial coefficients divisible by powers of primes. Acta Arithmetica 181, 27–55 (2017)MathSciNetCrossRef Spiegelhofer, L., Wallner, M.: An explicit generating function arising in counting binomial coefficients divisible by powers of primes. Acta Arithmetica 181, 27–55 (2017)MathSciNetCrossRef
Metadaten
Titel
IntegerSequences: A Package for Computing with k-Regular Sequences
verfasst von
Eric Rowland
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-96418-8_49

Premium Partner