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 (12)
(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 Thirtyfive years of automating mathematics,
Kluwer Acad. Publ., Dordrecht,
Appl. Log. Ser.,
28
(2003),
271–314.
[S00] Sorge, V.,
Nontrivial symbolic computations in proof planning,
in Frontiers of combining systems (Nancy, 2000),
Springer, Berlin,
Lecture Notes in Comput. Sci.,
1794
(2000),
121–135.
