A package of algorithms for solving hard problems in group theory.

Title: A package of algorithms for solving hard problems in group theory.
Identifier: AAI3187464
identifier: 3187464
Creator: Bormotov, Dmitry.
Contributor: Adviser: Alexei G. Miasnikov
Date: 2005
Language: English
Publisher: City University of New York.
Subject: Computer Science
Abstract: In this thesis we developed some methods of a new emerging area of mathematics, which we call experimental algebra. We designed new algorithms, both deterministic and heuristic, aimed at hard problems in algebra. Using these algorithms we solved some open problems in groups and semigroups. These algorithms are implemented and organized in a package. In addition to implementations of stand-alone algorithms for solving particular problems, the package contains a variety of reusable components---tools that can be used to modify the behavior of existing algorithms, to form alternative strategies and to build new algorithms out of provided components.
Type: dissertation
Source: PQT Legacy CUNY.xlsx
degree: Ph.D.