Automated Design and Optimization of Specific Algebras by Genetic Algorithms

The need for special algebras is the common task for many research in mathematics and theoretical computer science. We present our research concerning automated generation of such algebras through evolutionary techniques. Our reserch concerning the usage genetic algorithms shows this task to be feasible and we demonstrate it on special algebras called EQ-algebras. We also present possible optimization of the process using an expert system.