GAP
|
Main BranchesDownloads Installation Overview Data Libraries Packages Documentation Contacts FAQ GAP 3 |
||||||||||
Find us on GitHubNavigation Tree
|
11 publications using GAP in the category "Mathematical logic and foundations"[A20] Ayzenberg, A., Dimensions of multi-fan duality algebras, J. Math. Soc. Japan, 72 (3) (2020), 777–794. [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 [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. [Q20] Quinn-Gregson, T., Homogeneous completely simple semigroups, Mathematika, 66 (3) (2020), 733–751. [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. |