[AGK97] Amrhein, B., Gloor, O. and Küchlin, W., On the Walk , Theoret. Comput. Sci. , 187 (1-2) (1997), 179-202.
[Ber78] Bergman, G. M., The Diamond Lemma for Ring Theory , Adv. in Math., 29 (2) (1978), 178-218.
[Buc98] Buchberger, B. (Buchberger, B. and Winkler, F., Eds.), An Algorithmic Criterion for the Solvability of a System of Algebraic Equations. Translation of Ph.D. thesis by M. Abramson and R. Lumbert , in Gröbner Bases and Applications, Cambridge University Press, Proc. London Math. Soc., 251 (1998), 535-545.
[CK24] Cohen, A. and Knopper, J.,
GBNP - computing Gröbner bases of noncommutative polynomials
(Version 1.1.0),
Discrete
Algebra and Geometry (DAM) group at the Department of Mathematics and
Computer Science of Eindhoven University of Technology
(2001-2024)
(
GAP package,
https://github.com/gap-packages/gbnp
).
[Eva70] Evans, G. A. (Leech, J., Ed.), Noncommutative Involutive Bases , in Proc. Int. Conf. Applications of Computer Algebra , Pergamon Press (1970), 263-297.
[Eva05] Evans, G. A.,
Noncommutative Involutive Bases,
Ph.D. thesis,
University of Wales, Bangor
(2005)
(
https://arxiv.org/pdf/math/0602140.pdf
).
[EW07] Evans, G. A. and Wensley, C. D., Complete involutive rewriting systems , Symbolic Comput., 42 (2007), 1034-1051.
[GH23] Gutsche, S. and Horn, M.,
AutoDoc - Generate documentation from GAP source code
(Version 2023.06.19)
(2023)
(
GAP package, https://github.com/gap-packages/AutoDoc
).
[Hor19] Horn, M.,
A GitHub Pages generator for GAP packages
(Version 0.3)
(2019)
(
GAP package, https://github.com/gap-system/GitHubPagesForGAP/
).
[KB04] Knuth, D. E. and Bendix, P. B. (Leech, J., Ed.), Simple word problems in universal algebras , in Computational Problems in Abstract Algebra , Pergamon Press (2004), 263-297.
[LN17] Lübeck, F. and Neunhöffer, M.,
GAPDoc (Version 1.6),
RWTH Aachen
(2017)
(
GAP package,
https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/index.html
).
[LR97] Lambe, L. A. and Radford, D. E., Introduction to the Quantum Yang-Baxter Equation and Quantum Groups: An Algebraic Approach, Kluwer Academic, Mathematics and its Applications, 423 (1997).
[Mor86] Mora, T. (Calmet, J., Ed.), Gröbner Bases for non-commutative polynomial rings , in AAECC-3: Proc. 3rd Int. Conf. on Algebraic Algorithms and Error-Correcting Codes (Grenoble, France, July 15-19, 1985) , Springer , Lecture Notes in Comput. Sci. , 223 (1986), 353-362.
[ZB96] Zharkov, A. Y. and Blinkov, Y. A., Involution approach to investigating polynomial systems , Math. Comput. Simulation , (42) 4-6 (1996), 323-332.
generated by GAPDoc2HTML