swMATH19248MaRDI QIDQ31078FDOQ31078
Author name not available (Why is that?)
Official website: http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/meta.html
Cited In (10)
- A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences
- Automatic congruences for diagonals of rational functions
- On the period mod \(m\) of polynomially-recursive sequences: a case study
- AutoSquared
- BinaryTrees
- CatalanCC
- DelannoyLS
- Walnut
- Generalized Lucas congruences and linear \(p\)-schemes
- \(p\)-adic asymptotic properties of constant-recursive sequences
This page was built for software: MotzkinCC
