Publication:4227281

From MaRDI portal
Revision as of 16:10, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1053.11540MaRDI QIDQ4227281

Daniel Richardson

Publication date: 1995



68W30: Symbolic computation and algebraic computation

11U05: Decidability (number-theoretic aspects)

11Y16: Number-theoretic algorithms; complexity