Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A computer proof of relations in a certain class of groups - MaRDI portal

A computer proof of relations in a certain class of groups

From MaRDI portal

Publication:5749464

Jump to:navigation, search

DOI10.1017/S0308210500027645zbMath0718.20018OpenAlexW2147793516MaRDI QIDQ5749464

Kevin Rutherford, Edmund F. Robertson

Publication date: 1991

Published in: Proceedings of the Royal Society of Edinburgh: Section A Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0308210500027645

zbMATH Keywords

presentations computer program finitely presented groups Tietze transformations Reidemeister rewriting

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Software, source code, etc. for problems pertaining to group theory (20-04)

Cites Work

Deficiency zero groups involving Fibonacci and Lucas numbers

This page was built for publication: A computer proof of relations in a certain class of groups

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5749464&oldid=30511872"