20 citations · 44 across the 5 of their papers we have counts for
8 papers
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
Kshitij Bansal, Sarah M. Loos, Markus N. Rabe +2
We present an environment, benchmark, and deep learning driven automated theorem prover for higher-order logic. Higher-order interactive theorem provers enable the formalization of…
Quantum walled Brauer-Clifford superalgebras
Georgia Benkart, Nicolas Guay, Ji Hye Jung +2
We introduce a new family of superalgebras, the quantum walled Brauer-Clifford superalgebras . The superalgebra is a quantum defo…
Supports of representations of the rational Cherednik algebra of type A
Stewart Wilcox
We first consider the rational Cherednik algebra corresponding to the action of a finite group on a complex variety, as defined by Etingof. We define a category of representations…
Complementation in the Group of Units of Matrix Rings
Stewart Wilcox
Let be a ring with and $\J(R)$ its Jacobson radical. Then $1+\J(R)$ is a normal subgroup of the group of units, . The existence of a complement to this subgroup was e…
Cellularity of diagram algebras as twisted semigroup algebras
Stewart Wilcox
The Temperley-Lieb and Brauer algebras and their cyclotomic analogues, as well as the partition algebra, are all examples of twisted semigroup algebras. We prove a general theorem…
Reduction of the Hall-Paige conjecture to sporadic simple groups
Stewart Wilcox
A complete mapping of a group is a permutation such that is also a permutation. Complete mappings of are equivalent to tranversals of th…