Publication:4227281
From MaRDI portal
zbMath1053.11540MaRDI QIDQ4227281
Publication date: 1995
68W30: Symbolic computation and algebraic computation
11U05: Decidability (number-theoretic aspects)
11Y16: Number-theoretic algorithms; complexity