GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

116 publications using GAP in the category "MSC codes not assigned"

[A99] Abdeljaouad, I., Calculation of primitive invariants of finite groups, RAIRO-INF THEOR APPL, 33 (1) (1999), 59–77.

[ABC18] Aljohani, M., Bamberg, J., and Cameron, P. J., Synchronization and separation in the Johnson schemes, Portugaliae Mathematica, 74 (3) (2018), 213–232.

[A04] Alp, M., Enumeration of 1-truncated simplicial groups of low order, INDIAN JOURNAL OF PURE \& APPLIED MATHEMATICS, 35 (3) (2004), 333–345.

[AS02] Anderson, K. and Surowski, D. B., Coxeter-Petrie complexes of regular maps, EUROPEAN JOURNAL OF COMBINATORICS, 23 (8) (2002), 861–880.

[ASZ96] Annin, S. A., Sherman, G. J., and Ziebarth, J. J., Research questions for undergraduates on triple products in finite groups, PRIMUS, VI (1) (1996), 1–7
(The periodical is on 'Problems, Resources, and Issues in Undergraduate Mathematics Studies', edited by the Department of Mathematical Sciences, United States Military Academy, West point NY 10996-9902 USA).

[BLS04] Banks, D. C., Linton, S. A., and Stockmeyer, P. K., Counting cases in substitope algorithms, IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 10 (4) (2004), 371–384.

[BRA04] Bartolo, E. A., Ruber, J. C., and Agustin, J. I. C., Essential coordinate components of characteristic varieties, MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 136 (2004), 287–299.

[BB+21] Bernhardt, D., Boykett, T., Devillers, A., Flake, J., and Glasby, S. P., Groups $G$ satisfying a functional equation $f(xk) = xf(x)$ for some $k \in G$ (2021)
(Preprint, \urlhttps://arxiv.org/abs/2105.09117).

[BT13] Bogdanov, M. and Teillaud, M., Delaunay triangulations and cycles on closed hyperbolic surfaces, Research Report, INRIA (8434) (2013).

[B02] Borovik, A. V., Orthogonal and symplectic black box groups, revisited (2002), math.GR/0110234.

[BK05] Bovdi, V. and Konovalov, A., Wreath products in unit groups of modular group algebras of some finite 2-groups, in A Conference in Honor of Albert Bovdi's 70th Birthday. Abstracts. Debrecen, Hungary, November 18–23 (2005), 26–27.

[BKS04] Boyko, N., Konovalov, A., and Shepel, E., Wreath products in the unit group of the modular group algebra of the group G(32,15), in Actual problems of mathematics and computer science. 2nd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 22–23, 2004 (2004), 32–33.

[BKG04] Boyko, Y., Konovalov, A., and Gnezdovsky, A., Investigation of linearly independent subgroups of unit groups of modular group algebras of finite 2-groups, in Actual problems of mathematics and computer science. 2nd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 22–23, 2004 (2004), 24–25.

[BC+19] Bray, J. N., Cai, Q., Cameron, P. J., Spiga, P., and Zhang, H., The Hall-Paige conjecture, and synchronization for affine and diagonal groups, Journal of Algebra (2019).

[C02] Cameron, P., Partitions and Permutations (2002), Preprint.

[CM+03] Cohen, A., Murray, S., Pollet, M., and Sorge, V., Certifying solutions to permutation group problems, in AUTOMATED DEDUCTION - CADE-19 (2003), 258–273.

[CM02] Cohen, A. R. and Murray, S. H., An automated proof theory approach to computation with permutation group (2002)
(Lecture notes for the Calculemus Autumn School, Pisa, 23 Sep- 4 Oct 2002)).

[CBS99] Colletti, B., Barnes, J., and S, D., A note on characterizing the k-OPT neighborhood via group theory, J HEURISTICS, 5 (1) (1999), 47–51.

[C97] Cooperman, G., GAP/MPI: Facilitating Parallelism, in Groups and computation, II (New Brunswick, NJ, 1995), Amer. Math. Soc., Providence, RI (1997), 69–84.

[CH97] Cooperman, G. and Havas, G., Practical parallel coset enumeration, LECT NOTES CONTR INF, 226 (1997), 15–27.

[DM05] Donaldson, A. F. and Miller, A., Automatic Symmetry Detection for Model Checking Using Computational Group Theory, in FM (2005), 481–496.

[DM06] Donaldson, A. F. and Miller, A., Exact and Approximate Strategies for Symmetry Reduction in Model Checking, in FM (2006), 541–556.

[DM06] Donaldson, A. F. and Miller, A., Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives, in AVTA (2006), 9–23.

[DM07] Donaldson, A. F. and Miller, A., Extending Symmetry Reduction Techniques to a Realistic Model of Computation, Electr. Notes Theor. Compt. Sci., 185 (2007), 63–76.

[DMC05] Donaldson, A. F., Miller, A., and Calder, M., Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis, Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004), Electr. Notes Theor. Comput. Sci., 128 (6) (2005), 161–177.

[DMC05] Donaldson, A. F., Miller, A., and Calder, M., Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models, Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004), Electr. Notes Theor. Comput. Sci., 139 (1) (2005), 3–23.

[ES11] Effenberger, F. and Spreer, J., Simplicial blowups and discrete normal surfaces in simpcomp, ACM Communications in Computer Algebra, 45 (3) (2011), 173–176.

[EJ+01] Egner, S., Johnson, J., Padua, D., Püschel, M., and Xiong, J., Automatic Derivation and Implementation of Signal Processing Algorithms, SIGSAM Bulletin, 35 (2) (2001), 1–19.

[G98] Egner, S. and Püschel, M. (Gloor, O., Ed.), Solving puzzles related to permutation groups, in ISSAC 98: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, August 13–15, 1998, University of Rostock, Germany, ACM Press, New York, NY 10036, USA (1998), 186–193.

[EN05] Egri-Nagy, A. and Nehaniv, C. L., Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory, in Implementation and Application of Automata, Springer, Lecture Notes in Computer Science, 3317 (2005), 315-316.

[FHT05] Fitzgerald, J., Hayes, I. J., and Tarlecki, A., FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, in FM, Lecture Notes in Computer Science, 3582 (2005).

[F05] Fripertinger, H., Enumeration of semilinear isometry classes of linear codes, proc. of the conference on Algebraic Combinatorics and Applications, Designs and Codes (2005), 100–122.

[G06] Gähler, F., Computer checking of the subgroup data, Symmetry Relations between Space Groups, Kluwer Academic Publishers, International Tables for Crystallography, A1 (2006), 27–28
(Published for the International Union of Crystallography).

[G02] Gallian, J. A., Contemporary Abstract Algebra, Houghton-Mifflin, fifth edition (2002).

[G95] Geck, M., Beiträge zur Darstellungstheorie von Iwahori-Hecke-Algebren, Verlag der Augustinus Buchhandlung, Aachener Beiträge zur Mathematik (11), Aachen (1995)
(Habilitationsschrift).

[GH+03] Gent, I. P., Harvey, W., Kelsey, T., and Linton, S., Generic SBDD using computational group theory, in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003 (2003), 333–347.

[GH03] Ghani, N. and Heyworth, A., A rewriting alternative to Reidemeister-Schreier, in REWRITING TECNIQUES AND APPLICATIONS (2003), 452–466.

[GI10] Gilson, M. K. and Irikura, K. K., Symmetry Numbers for Rigid, Flexible, and Fluxional Molecules: Theory and Applications, J. Phys. Chem. B. (114) (2010), 16304-16317.

[GW14] Godolphin, J. D. and Warren, H. R., An efficient procedure for the avoidance of disconnected incomplete block designs, Computational Statistics \& Data Analysis, 71 (0) (2014), 1134 - 1146.

[GZ06] Graf, S. and Zhang, W., Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Bejing, China, October 23-26, 2006, in ATVA, Lecture Notes in Computer Science, 4218 (2006).

[G99] Grosse-Kunstleve, R., Algorithms for deriving crystallographic space-group information, ACTA CRYSTALLOGR A, 55 (2) (1999), 383-395.

[HL94] Havas, G. and Lian, J. X., A new problem in string searching, in Algorithms and Computation, Springer, Lecture Notes in Computer Science, 834 (1994), 660-668.

[J02] Joyner, D., Adventures in group theory. Rubik's cube, Merlin's machine and other mathematical toys., Johns Hopkins University Press, Baltimore (2002), xviii+262 pp pages.

[JK04] Joyner, D. and Konovalov, A., Applications of the computer algebra system GAP in coding theory, in 2nd International conference "Modern coding methods in electronic systems". Sumy, Ukraine, October 26–27, 2004 (2004), 18–19.

[JK04] Joyner, D. and Ksir, A., Representations of finite groups on Riemann-Roch spaces, II, (submitted) (2004)
(Preprint, \urlhttps://arxiv.org/abs/math/0312383).

[JT04] Joyner, D. and Traves, W., Representations of finite groups on Riemann-Roch spaces, (submitted) (2004)
(Preprint, \urlhttps://arxiv.org/abs/math/0210408).

[JV04] Joyner, D. and Verrill, H., Notes on toric varieties, (submitted) (2004)
(Preprint, \urlhttps://arxiv.org/abs/math/0208065).

[K13] Kahnert, M., T-matrix computations for particles with high-order finite symmetries, J. Quant. Spectrosc. Radiat. Transfer, 123 (2013), 79–91.

[K13] Kahnert, M., The T-matrix code Tsym for homogeneous dielectric particles with finite symmetries, J. Quant. Spectrosc. Radiat. Transfer, 123 (2013), 62-78.

[K04] Karaarslan, E., Primality Testing Techniques and The Importance of Prime Numbers in Security Protocols, in 3 rd International Conference on Mathematical \& Computational Applications (ICMCA 2002) Conference (2004).

[K13] Kohl, T., Regular Permutation Groups of Order $mp$ and Hopf Galois Structures, Algebra and Number Theory, 7-9 (2013), 2203-2240.

[K01] Kohlhase, M., OMDOC: Towards an Internet standard for the administration, distribution, and teaching of mathematical knowledge, ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, 1930 (2001), 32–52.

[KP11] Kolb, S. and Pellegrini, J., Braid group actions on coideal subalgebras of quantized enveloping algebras, Journal of Algebra, 336 (1) (2011), 395 - 416
().

[K00] Konovalov, A., On several problems in modular group algebras and their investigations using computer algebra system GAP, in Groups and group rings. Abstracts. Wisla, Poland, June 6–10 (2000), 25.

[K01] Konovalov, A., Computer Algebra System GAP, ``CHIP'' Magazine (9) (2001)
(Supplementary article for the GAP 4.2 distribution on the CD-appendix to the magazine.).

[K02] Konovalov, A., Computer investigations of the modular isomorphism problem, in Algebra and Applications. Krasnoyarsk, Russia, 5–9 August 2002 (2002), 141–142.

[K02] Konovalov, A., ISO 1.0 — The program for calculation of invariants of modular group agebras and investigation of the modular isomorphism problem. (2002)
(Preprint. Online at http://www.mathpreprints.com/math/Preprint/drkonovalov/20030326/1/).

[K02] Konovalov, A., ISO 1.0 — The program for investigation of the modular isomorphism problem of group algebras, in Algebraic Methods of Discrete Mathematics. Lugansk, Ukraine 23–27 September 2002 (2002), 32–34.

[K03] Konovalov, A., On the computer algebra system GAP, ``CHIP'' Magazine (9) (2003)
(Supplementary article for the GAP 4.3 distribution on the CD-appendix to the magazine.).

[K04] Konovalov, A., Software news. GAP 4.4., Exponenta Pro. Mathematics in Applications (2(6)) (2004), 87.

[K04] Konovalov, A., The computer algebra system GAP 4.4.3 on CHIP-CD 9/2004, ``CHIP'' Magazine (9) (2004)
(Supplementary article for the GAP 4.3 distribution on the CD-appendix to the magazine.).

[K05] Konovalov, A., Computer investigations of the modular isomorphism problem, in Groups and group rings XI. Abstracts. Bedlewo, Poland, June 4–11 (2005), 14.

[K05] Konovalov, A., The computer algebra system GAP 4.4.5 on CHIP-CD 9/2005, ``CHIP'' Magazine (9) (2005)
(Supplementary article for the GAP 4.4.5 distribution on the CD-appendix to the magazine.).

[K06] Konovalov, A., The library of unit groups of modular group algebras of finite p-groups of order not greater than 128 for the computational algebra system GAP, in XI International Scientific Kravchuk Conference, Kyiv, Ukraine, May 18–20, 2006 (2006), 469.

[KB+03] Konovalov, A., Bovdi, V., Schneider, C., and Rossmanith, R., Investigations in unit groups of modular group algebras using the GAP4 package LAGUNA 3.0, in 4th International Conference on Algebra. Lviv, Ukraine, 4–9 August 2003 (2003), 52–53.

[KK03] Konovalov, A. and Kimmerle, W., An algorithm for the embedding of the given $p$-group into the normalised unit group of the modular group algebra of a finite $p$-group., in Algebras, Rings and Modules. Lisboa, Portugal, 14–18 July 2003 (2003), 45–46.

[KK02] Konovalov, A. and Kostenko, E., Testing the conjecture about congruently adjoined clusters in the amorphous state using the computer algebra system GAP, in Proceedings of the XXXII International Conference IT +SE'2005, Autumn Session. Yalta, Ukraine, October 1–10 (2002), 84–85.

[KL04] Konovalov, A. and Lysenko, D., Learning algebra and number theory using the computer algebra system GAP, in 4th All-Ukrainian Conference "Implementation of modern information technologies in education". Zaporozhye, Ukraine, December 2004 (2004), 172–179.

[KLS04] Konovalov, A., Lysenko, D., and Sudakov, A., Investigation of the modular isomorphism problem using the computer algebra system GAP, in Actual problems of mathematics and computer science. 2nd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 22–23, 2004 (2004), 28–29.

[KM05] Konovalov, A. and Moskalyov, P., Searching optimal Golomb rulers with permutations groups acting on partitions, in Actual problems of mathematics and computer science. Abstracts of the 3rd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 21–22, 2005 (2005), 27.

[KT05] Konovalov, A. and Tsapok, A., The isomorphism problem for unit groups of modular group algebras of 2-groups of orders 16 and 32, in 5th International Algebraic Conference in Ukraine. Abstracts. Odessa, Ukraine, July 20–27 (2005), 104.

[KT02] Konovalov, A. and Tsapok, A. G., Normaliser series in finite groups and Strojnowski problem, Zaporozhye State University Herald — Physical and mathematical sciences (2) (2002), 61–65.

[K99] Konovalov, A. B., Computer Algebra System GAP, Zaporozhye State University (1999)
(2nd edition online at http://ukrgap.exponenta.ru/papers/MetGAP43.htm).

[K01] Konovalov, A. B., Computer algebra system GAP, 3rd Internat. Conf. on Algebra in Ukraine (2001), 194-195.

[K01] Konovalov, A. B., Computer algebra system GAP, in Ukrainian Mathematical Congress-2001. Kiev, August 21-23, Mathematical Institute of the Ukrainian National Academy of Sciences (2001), 29–30.

[KK04] Konovalov, A. B. and Krivokhata, A. G., Symmetric subgroups in modular group algebras, Nauk. Visn. Uzhgorod. Univ., Ser. Mat. (9) (2004)
(Available at https://arxiv.org/abs/0801.0809 translated from the original journal publication in Russian).

[KS05] Konovalov A. Kostenko, E. and Savin, V., The modelling of the amporphous state of the fast-tempered Ni-Nb-(Ta,V) alloys, in Metal and foundry in Ukraine (2005).

[K05] Kostenko, E. Y., The Modeling of Amorphous State of the Melt-Quenched Ni-Nb Alloys Prepared Including Powdered Components (2005)
(Poster presented at Junior Euromat 2004 (http://www.junior-euromat.fems.org/)).

[LNP02] Larrión, F., Neumann-Lara, V., and Pizaña, M. A., On the Homotopy Type of Clique Graphs, J. of the Brazilian Comp. Soc., 7 (3) (2002), 69–73.

[L07] Linton, S., GAP - Groups, Algorithms, Programming, ACM Communications in Computer Algebra, 41 (3) (2007), 108–109
(Issue 161).

[M04] Maddux, R., Self-similarity and the species-area relationship, AMERICAN NATURALIST, 163 (4) (2004), 616–626.

[MO00] Makai, M. and Orechwa, Y., Field reconstruction from measured values in symmetric volumes, NUCL ENG DES, 199 (3) (2000), 289–301.

[MO03] Makai, M. and Orechwa, Y., Model calculations in reconstructions of measured fields, CENTRAL EUROPEAN JOURNAL OF PHYSICS, 1 (1) (2003), 118–131.

[MPS01] Meier, A., Pollet, M., and Sorge, V., Classifying isomorphic residue classes, COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2178 (2001), 494–508.

[MB+03] Melis, E., Budenbender, J., Goguadze, G., Libbrecht, P., and Ullrich, C., Knowledge representation and management in ACTIVEMATH, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 38 (2003), 47–64.

[MCD07] Miller, A., Calder, M., and Donaldson, A. F., A template-based approach for the generation of abstractable and reducible models of featured networks, Computer Networks, 51 (2) (2007), 439–455.

[MDC06] Miller, A., Donaldson, A. F., and Calder, M., Symmetry in temporal logic model checking, ACM Comput. Surv., 38 (3) (2006).

[MNS06] Misra, J., Nipkow, T., and Sekerinski, E., FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, in FM, Lecture Notes in Computer Science, 4085 (2006).

[M07] Moravec, P., Schur mutipliers and power endomorphisms of groups, Journal of Algebra, 308 (1) (2007), 12–25.

[M04] Moskalev, P., Group-theoretical methods in optimal Golomb ruler search, in Actual problems of mathematics and computer science. 2nd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 22–23, 2004 (2004), 29-30.

[M03] Müller, J., On endomorphism rings and character tables (2003), Habilitationsschrift, RWTH Aachen.

[N12] Niepert, M., Markov Chains on Orbits of Permutation Groups, in Proceedings of the Twenty-Eighth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-12), AUAI Press, Corvallis, Oregon (2012), 624–633.

[P09] Paulsen, W., Abstract Algebra: An Interactive Approach, CRC Press (2009), 560 pp pages.

[PS03] Petrie, K. E. and Smith, B. M., Symmetry breaking in graceful graphs, in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003 (2003), 930–934.

[PS+01] Püschel, M., Singer, B., Veloso, M., and Moura, J. M. F., Fast Automatic Generation of DSP Algorithms, in Proc.~ICCS 2001, Springer, LNCS 2073 (2001), 97–106.

[PM+04] Puschel, M., Moura, J. M. F., Singer, B., Xiong, J. X., Johnson, J., Padua, D., Veloso, M., and Johnson, R. W., Spiral: A generator for platform-adapted libraries of signal processing algorithms, INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 18 (1) (2004), 21–45.

[RRS12] Raievska, I., Raievska, M., and Sysak, Y. P., Local nearrings on non-metacyclic Miller-Moreno groups, Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and Mathematics, 3 (2012), 39-46.

[R04] Regueiro, E. O., Flag-Transitive Automorphism Groups of Almost Simple Type, with Alternating or Sporadic Socle, European Journal of Combinatorics (2004)
(Submitted).

[R04] Rosebrock, S., Geometrische Gruppentheorie - Ein Einstieg mit dem Computer, Vieweg, Basiswissen für Studium und Mathematikunterricht, Wiesbaden (2004), xii + 206 pages.

[R97] Rosenboom, J., A distributed algorithm for the construction of invariant subspaces, LECT NOTES CONTR INF, 226 (1997), 138–142.

[S02] Sampels, M., Visualization of automorphisms and vertex-symmetry, PARALLEL PROCESSING APPLIED MATHEMATICS (2002), 35–41.

[S01] Sawada, H., On a certain algebraic property of block ciphers, IEICE T FUND ELECTR E, 84A (5) (2001), 1130–1134.

[SL04] Schmied, R. and Lehmann, K. K., Computer-generated character tables and nuclear spin statistical weights: Application to benzene dimer and methane dimer, Journal of Molecular Spectroscopy (2004)
(To appear.).

[S94] Schönert, M., An invitation to GAP, Comp. Sci. J. of Moldova, 3 (1994).

[SS94] Schönert, M. and Seress, A., Finding blocks of imprimitivity in small base groups in nearly linear time, in Proc. ISSAC 94 (1994).

[SB+02] Siekmann, J., Benzmuller, C., Fiedler, A., Meier, A., and Pollet, M., Proof development with Omega MEGA: root 2 is irrational, LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (2002), 367–387.

[SIP07] Sikiric, M. D., Itoh, Y., and Poyarkov, A., Cube packings, second moment and holes, European Journal of Combinatorics, 28 (3) (2007), 715–725.

[S96] Smith, M., Computing automorphisms of finite soluble groups, B AUST MATH SOC, 53 (1) (1996), 169–171.

[S94] Soicher, L. H., Coset enumeration, permutation group algorithms, and applications to graphs and geometries, in EIDMA Minicourse: Computer Algebra with Emphasis on Discrete Algebra and Geometry, Euler Institute for Discrete Mathematics and its Applications, Eindhoven (1994).

[S94] Spitznagel, E. L., Review of Mathematical Software, GAP, Notices Amer.\ Math.\ Soc., 41 (7) (1994), 780–782.

[S97] Staszewski, R., Matrix multiplication over small finite fields on MIMD architectures, LECT NOTES CONTR INF, 226 (1997), 183-201.

[T04] Tsapok, A., Computer investigations of modular group algebras, in Actual problems of mathematics and computer science. 2nd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 22–23, 2004 (2004), 31-32.

[T04] Tsapok, A., Symmetric subgroups of the unit group of the modular group algebra of a finite $p$-group, in X International Scientific Kravchuk Conference, Kyiv, Ukraine, May 13–15, 2004 (2004), 545.

[WM04] Wondratschek, H. and Müller, U., Symmetry Relations between Space Groups, International Tables for Crystallography, Kluwer Academic Publishers, First edition, A1, Dordrecht/Boston/London (2004), xii + 731 pages.

[W03] Wright, D., Elicitation and Validation of Graphical Dependability Models, in SAFECOMP (2003).

[Z04] Zinchenko, A., Extensions of a residue class ring with the help of the primitive root of unity, in Actual problems of mathematics and computer science. 2nd regional scientific conference of young researchers. Zaporozhye, Ukraine, April 22–23, 2004 (2004), 27-28.