Results 21 to 30 of about 13,576 (266)

Reasoning about modular datatypes with Mendler induction [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics.
Paolo Torrini, Tom Schrijvers
doaj   +1 more source

ON THE TRANSFORMATION OF REPRESENTATION OF NUMBERS IN THE RESIDUO FROM ONE MODULE SYSTEM TO ANOTHER

Nauka ta progres transportu, 2016
Purpose. The purpose of this work is the theoretical foundation of one of the approaches to improve the effectiveness of the number system in nonpositional residual classes non-modular, so-called complex operation, the realization of which requires ...
Yu. D. Polissky
doaj   +1 more source

Syntax Monads for the Working Formal Metatheorist

Electronic Proceedings in Theoretical Computer Science, 2023
Formally verifying the properties of formal systems using a proof assistant requires justifying numerous minor lemmas about capture-avoiding substitution.
Dunn, Lawrence, Tannen, Val, Zdancewic, Steve   +2 more
doaj   +1 more source

The modular representation theory of $q$-Schur algebras [PDF]

Transactions of the American Mathematical Society, 1992
[For part II cf. Math. Z. 208, No. 4, 503-536 (1991; Zbl 0724.20011).] It is known that the representation theory of classical Schur algebras is equivalent to the theory of polynomial representations of general linear groups. The \(q\)-Schur algebras in the present paper are some \(q\)- analogues of classical Schur algebras. Let \(\mathbb{Q}[u^{1/2}]\)
openaire   +1 more source

Tetrahedral modular graph functions

Journal of High Energy Physics, 2017
The low-energy expansion of one-loop amplitudes in type II string theory generates a series of world-sheet integrals whose integrands can be represented by world-sheet Feynman diagrams.
Axel Kleinschmidt, Valentin Verschinin
doaj   +1 more source

Generalized entanglement entropy, charges, and intertwiners

Journal of High Energy Physics, 2020
The entanglement theory in quantum systems with internal symmetries is rich due to the spontaneous creation of entangled pairs of charge/anti-charge particles at the entangling surface.
Keiichiro Furuya, Nima Lashkari, Shoy Ouseph   +2 more
doaj   +1 more source

On refined Chern-Simons/topological string duality for classical gauge groups

Journal of High Energy Physics, 2022
We present the partition function of the refined Chern-Simons theory on S 3 with arbitrary A, B, C, D gauge algebra in terms of multiple sine functions. For B and C cases this representation is novel.
M. Y. Avetisyan, R. L. Mkrtchyan
doaj   +1 more source

Adjoint SU(5) GUT model with modular S 4 symmetry

Journal of High Energy Physics, 2021
We study the textures of SM fermion mass matrices and their mixings in a supersymmetric adjoint SU(5) Grand Unified Theory with modular S 4 being the horizontal symmetry.
Ya Zhao, Hong-Hao Zhang
doaj   +1 more source

On matrix representations of oversemigroups of semigroups generated by two mutually annihilating idempotents

Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2020
Matrix representations of finite semigroups over fields are studied not so well as for finite groups. Representations of finite groups over fields are studied sufficiently well; in particular, the criterions of representation type are fully defined for ...
В. М. Бондаренко, О. В. Зубарук   +1 more
doaj   +1 more source

Kronecker positivity and 2-modular representation theory [PDF]

Transactions of the American Mathematical Society, Series B, 2021
This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these results and other modular representation theoretic techniques on the study of Kronecker ...
Bowman-Scargill, Chris, Bessenrodt, Christine, Sutton, Louise   +2 more
openaire   +5 more sources