GAP

Main BranchesDownloads Installation Overview Data Libraries Packages Documentation Contacts FAQ GAP 3 

Find us on GitHubNavigation Tree

116 publications using GAP in the category "MSC codes not assigned"[A99] Abdeljaouad, I., Calculation of primitive invariants of finite groups, RAIROINF 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 1truncated simplicial groups of low order, INDIAN JOURNAL OF PURE \& APPLIED MATHEMATICS, 35 (3) (2004), 333–345. [AS02] Anderson, K. and Surowski, D. B., CoxeterPetrie 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 [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) [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 2groups, 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 2groups, 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 HallPaige 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  CADE19 (2003), 258–273.
[CM02] Cohen, A. R. and Murray, S. H.,
An automated proof theory approach to computation with permutation group
(2002) [CBS99] Colletti, B., Barnes, J., and S, D., A note on characterizing the kOPT 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., SpintoGrape: A Tool for Analysing Symmetry in Promela Models, Proceedings of ARTS 2004, the 6th AMAST Workshop on RealTime 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] EgriNagy, A. and Nehaniv, C. L., Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for KrohnRhodes Theory, in Implementation and Application of Automata, Springer, Lecture Notes in Computer Science, 3317 (2005), 315316. [FHT05] Fitzgerald, J., Hayes, I. J., and Tarlecki, A., FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 1822, 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 [G02] Gallian, J. A., Contemporary Abstract Algebra, HoughtonMifflin, fifth edition (2002).
[G95] Geck, M.,
Beiträge zur Darstellungstheorie von IwahoriHeckeAlgebren,
Verlag der Augustinus Buchhandlung,
Aachener Beiträge zur Mathematik (11),
Aachen
(1995) [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 ReidemeisterSchreier, 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), 1630416317. [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 2326, 2006, in ATVA, Lecture Notes in Computer Science, 4218 (2006). [G99] GrosseKunstleve, R., Algorithms for deriving crystallographic spacegroup information, ACTA CRYSTALLOGR A, 55 (2) (1999), 383395. [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), 660668. [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 RiemannRoch spaces, II,
(submitted)
(2004)
[JT04] Joyner, D. and Traves, W.,
Representations of finite groups on RiemannRoch spaces,
(submitted)
(2004)
[JV04] Joyner, D. and Verrill, H.,
Notes on toric varieties,
(submitted)
(2004) [K13] Kahnert, M., Tmatrix computations for particles with highorder finite symmetries, J. Quant. Spectrosc. Radiat. Transfer, 123 (2013), 79–91. [K13] Kahnert, M., The Tmatrix code Tsym for homogeneous dielectric particles with finite symmetries, J. Quant. Spectrosc. Radiat. Transfer, 123 (2013), 6278. [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, 79 (2013), 22032240. [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) [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) [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) [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 CHIPCD 9/2004,
``CHIP'' Magazine (9)
(2004) [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 CHIPCD 9/2005,
``CHIP'' Magazine (9)
(2005) [K06] Konovalov, A., The library of unit groups of modular group algebras of finite pgroups 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 AllUkrainian 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 2groups 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) [K01] Konovalov, A. B., Computer algebra system GAP, 3rd Internat. Conf. on Algebra in Ukraine (2001), 194195. [K01] Konovalov, A. B., Computer algebra system GAP, in Ukrainian Mathematical Congress2001. Kiev, August 2123, 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) [KS05] Konovalov A. Kostenko, E. and Savin, V., The modelling of the amporphous state of the fasttempered NiNb(Ta,V) alloys, in Metal and foundry in Ukraine (2005).
[K05] Kostenko, E. Y.,
The Modeling of Amorphous State of the MeltQuenched NiNb Alloys Prepared Including Powdered Components
(2005) [LNP02] Larrión, F., NeumannLara, 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 [M04] Maddux, R., Selfsimilarity and the speciesarea 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 templatebased 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 2127, 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., Grouptheoretical 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), 2930. [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 TwentyEighth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI12), 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 platformadapted 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 nonmetacyclic MillerMoreno groups, Bulletin of Taras Shevchenko National University of Kyiv. Series: Physics and Mathematics, 3 (2012), 3946.
[R04] Regueiro, E. O.,
FlagTransitive Automorphism Groups of Almost Simple Type, with Alternating or Sporadic Socle,
European Journal of Combinatorics
(2004) [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 vertexsymmetry, 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.,
Computergenerated character tables and nuclear spin statistical weights: Application to benzene dimer and
methane dimer,
Journal of Molecular Spectroscopy
(2004) [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), 183201. [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), 3132. [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), 2728. 