1 paper · 1 filter
Gemma De les Coves, Joshua Graf, Andreas Klingler +1
We investigate the generalized moment membership problem for matrices, a formulation equivalent to Skolem's problem for linear recurrence sequences. We show decidability for orthog…