AutoSquared
From MaRDI portal
Software:21352
swMATH9369MaRDI QIDQ21352FDOQ21352
Author name not available (Why is that?)
Cited In (5)
- 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
- Generalized Lucas congruences and linear \(p\)-schemes
- \(p\)-adic asymptotic properties of constant-recursive sequences
This page was built for software: AutoSquared