AutoSquared

MaRDI QIDQ21352swMATHFDO

Official website http://www.math.rutgers.edu/~zeilberg/programs.html

Cited in

(9)

• Automatic congruences for diagonals of rational functions
• A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences
• CatalanCC
• DelannoyLS
• MotzkinCC
• Walnut
• On the period mod \(m\) of polynomially-recursive sequences: a case study
• Generalized Lucas congruences and linear \(p\)-schemes
• \(p\)-adic asymptotic properties of constant-recursive sequences

This page was built for software: AutoSquared