scientific article; zbMATH DE number 1004927
From MaRDI portal
Publication:4335289
zbMath0877.20025MaRDI QIDQ4335289
Gilbert Baumslag, Charles F. III Miller
Publication date: 4 December 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Software, source code, etc. for problems pertaining to group theory (20-04)
Related Items
Generic-case complexity, decision problems in group theory, and random walks. ⋮ Improving CAS capabilities: new rules for computing improper integrals ⋮ Resolutions for unit groups of orders ⋮ Average-case complexity and decision problems in group theory.
Uses Software
