Publication:4179013

zbMath0396.03041MaRDI QIDQ4179013

Charles C. Sims

Publication date: 1978

zbMATH Keywords

Algorithms; Decidability; Finitely Generated Group; Teaching of Algebra

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

11C08: Polynomials in number theory

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

11A63: Radix representation; digital problems

03D80: Applications of computability and recursion theory

11-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory

20K99: Abelian groups

13-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra

15-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to linear algebra

03F99: Proof theory and constructive mathematics

Related Items

Computing with groups and their character tables, Lifting canonical algorithms from a ring R to the ring R[x], A solution to Kronecker's problem