Computational and Experimental Group Theory

ISBN-13: 9780821834831 / Angielski / Miękka / 2004 / 224 str.

Alexandre V. Borovik;Alexei G. Myasnikov

Opis

The focus of algorithmic group theory shifted from the decidability/undecidability type of result to the complexity of algorithms. This title contains papers that reflect that paradigm shift. It presents articles that are based on the AMS/ASL Joint Special Session, Interactions Between Logic, Group Theory and Computer Science.