Publication:4227281

From MaRDI portal


zbMath1053.11540MaRDI QIDQ4227281

Daniel Richardson

Publication date: 1995



68W30: Symbolic computation and algebraic computation

11U05: Decidability (number-theoretic aspects)

11Y16: Number-theoretic algorithms; complexity