Items where Research Group is "Algebra, Number Theory, Logic, and Representations (ANTLR)

Article

Ariki, Susumu, Lyle, Sinéad and Speyer, Liron (2023) Schurian-finiteness of blocks of type A Hecke algebras. Journal of the London Mathematical Society-Second Series, 108 (6). pp. 2333-2376. ISSN 0024-6107

Aslanyan, Vahagn, Eterović, Sebastian and Kirby, Jonathan (2023) A closure operator respecting the modular j-function. Israel Journal of Mathematics, 253. 321–357. ISSN 0021-2172

Aslanyan, Vahagn, Henderson, Robert, Kamsma, Mark and Kirby, Jonathan (2023) Independence relations for exponential fields. Annals of Pure and Applied Logic, 174 (8). ISSN 0168-0072

Aslanyan, Vahagn, Kirby, Jonathan and Mantova, Vincenzo (2023) A geometric approach to some systems of exponential equations. International Mathematics Research Notices, 2023 (5). 4046–4081. ISSN 1073-7928

Asperó, David and Schindler, Ralf (2023) Wieviele reelle Zahlen gibt es? Mathematische Semesterberichte, 70. pp. 1-15. ISSN 0720-728X

Best, Alex J., Birkbeck, Christopher, Brasca, Riccardo and Boidi, Eric Rodriguez (2023) Fermat's Last Theorem for regular primes.

Birkbeck, Christopher, Heuer, Ben and Williams, Chris (2023) Overconvergent Hilbert modular forms via perfectoid modular varieties. Annales de l’institut Fourier, 73 (4). pp. 1709-1794. ISSN 0373-0956

Dmitrieva, Anna, Gallinaro, Francesco and Kamsma, Mark (2023) Dividing lines between positive theories. Journal of Symbolic Logic. ISSN 0022-4812

Dolinka, Igor and Gray, Robert D. (2023) Prefix monoids of groups and right units of special inverse monoids. Forum of Mathematics, Sigma, 11. ISSN 2050-5094

Grant, Joseph (2023) Serre functors and graded categories. Algebras and Representation Theory, 26 (5). 2113–2180. ISSN 1386-923X

Gregory, Lorna (2023) Decidability for the theory of modules over a Prüfer domain. International Mathematics Research Notices, 2023 (19). 16574–16673. ISSN 1073-7928

Gregory, Lorna (2023) Maranda’s theorem for pure-injective modules and duality. Canadian Journal Of Mathematics-Journal Canadien De Mathematiques, 75 (2). pp. 581-607. ISSN 0008-414X

Hristova, Katerina and Miemietz, Vanessa (2023) Basic Hopf algebras and symmetric bimodules. Journal of Pure and Applied Algebra, 227 (7). ISSN 0022-4049

Kuelshammer, Julian and Miemietz, Vanessa (2023) Uniqueness of exact Borel subalgebras and bocses. Memoirs of the American Mathematical Society. ISSN 0065-9266 (In Press)

Mackaay, Marco, Mazorchuk, Volodymyr, Miemietz, Vanessa, Tubbenhauer, Daniel and Zhang, Xiaoting (2023) Simple transitive 2-representations of Soergel bimodules for finite Coxeter types. Proceedings of the London Mathematical Society, 126 (5). pp. 1585-1655. ISSN 0024-6115

Rizza, Davide (2023) Inference in the context of enquiry. Dewey Studies, 7 (2). pp. 5-26. ISSN 2572-4649

Book Section

Daviaud, Laure and Purser, David (2023) The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings - Symposium on Logic in Computer Science . The Institute of Electrical and Electronics Engineers (IEEE). ISBN 9798350335873

Daviaud, Laure and Ryzhikov, Andrew (2023) Universality and Forall-Exactness of Cost Register Automata with Few Registers. In: 48th International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics, LIPIcs, 272 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 40:1-40:15. ISBN 9783959772921

El-Naggar, Nadine, Ryzhikov, Andrew, Daviaud, Laure, Madhyastha, Pranava and Weyde, Tillman (2023) Formal and Empirical Studies of Counting Behaviour in ReLU RNNs. In: The 16th International Conference on Grammatical Inference. Proceedings of Machine Learning Research, 217 . UNSPECIFIED, pp. 199-222.