GAP

## 9 publications using GAP in the category "Mathematical logic and foundations"

[BB08] Borovik, A. and Burdges, J., A new trichotomy theorem for groups of finite Morley rank, J. Lond. Math. Soc. (2), 77 (1) (2008), 1–14.

[CO01] Caprotti, O. and Oostdijk, M., Formal and efficient primality proofs by use of computer algebra oracles, J. Symbolic Comput., 32 (1-2) (2001), 55–70
(Computer algebra and mechanized reasoning (St. Andrews, 2000)).

[DF09] Detinko, A. S. and Flannery, D. L., On deciding finiteness of matrix groups, J. Symbolic Comput., 44 (8) (2009), 1037–1043.

[K09] Kambites, M., Small overlap monoids. I. The word problem, J. Algebra, 321 (8) (2009), 2187–2205.

[KO06] Kambites, M. and Otto, F., Uniform decision problems for automatic semigroups, J. Algebra, 303 (2) (2006), 789–809.

[M10] Michel, P., Homology of groups and third busy beaver function, Internat. J. Algebra Comput., 20 (6) (2010), 769–791.

[R98] Rees, S., Automatic groups associated with word orders other than shortlex, Internat. J. Algebra Comput., 8 (5) (1998), 575–598.

[SB+03] Siekmann, J., Benzmüller, C., Fiedler, A., Meier, A., Normann, I., and Pollet, M., Proof development with $\Omega$mega: the irrationality of $\sqrt 2$, in Thirty-five years of automating mathematics, Kluwer Acad. Publ., Dordrecht, Appl. Log. Ser., 28 (2003), 271–314.

[S00] Sorge, V., Non-trivial symbolic computations in proof planning, in Frontiers of combining systems (Nancy, 2000), Springer, Berlin, Lecture Notes in Comput. Sci., 1794 (2000), 121–135.