References
J. Calmet and J. A. Campbell (eds.), Artificial Intelligence and Symbolic Mathematical Computing, Int. Conf. AIMC-1, Karlsruhe, Germany, Aug. 3–6, 1992, Lect. Notes Comput. Sci., Vol. 737 (1992).
A. A. Letichevskii, A. B. Godlevskii, and S. L. Krivoi, “An efficient algorithm to construct the basis of a subgroup of a free group,” Kibernetika, No. 3, 107–116 (1981).
A. A. Letichevskii and S. L. Krivoi, “Implementation of the Nielsen algorithm in the algebraic programming system APS-1,” Kibern. Sistem. Anal., No. 5, 126–133 (1994).
W. Magnus, A. Karras, and D. Solitar, Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations, Wiley Interscience, New York (1966).
V. M. Glushkov, A. A. Letichevskii, and A. B. Godlevskii, Synthesis Methods for Discrete Models of Biological Systems [in Russian], Vol. 6, Vishcha Shkola, Kiev (1983).
A. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Computations in APS,” Informatica '91, Franco-Soviet Symp.: Theoretical Computer Science and Methods of Compilation and Program Construction, Grenoble, Oct. 16–18 (1991), pp. 133–152.
S. L. Krivoi, “An algorithm to construct the basis of the intersection of finitely generated free groups,” Kibernetika, No. 4, 4–10 (1982).
A. G. Kurosh, Group Theory [in Russian], Nauka, Moscow (1967).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 166–175, November–December, 1994.
Rights and permissions
About this article
Cite this article
Krivoi, S.L. Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1. Cybern Syst Anal 30, 930–937 (1994). https://doi.org/10.1007/BF02366453
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366453