Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Stewart Wilcox
Observed names:
S. Wilcox,
Wilcox, Stewart
Institution:
Google (United States)
Observed institutions:
Google (United States),
Harvard University,
University of Alberta
OpenAlex ID:
A5023959910
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving
2019
·
Kshitij Bansal
, Sarah M. Loos
, et al.
·
International Conference on Machine Learning
·
66
Cellularity of diagram algebras as twisted semigroup algebras
2006
·
Stewart Wilcox
·
Journal of Algebra
·
63
PDF
Reduction of the Hall–Paige conjecture to sporadic simple groups
2009
·
Stewart Wilcox
·
Journal of Algebra
·
50
PDF
Supports of representations of the rational Cherednik algebra of type A
2017
·
Stewart Wilcox
·
Advances in Mathematics
·
28
PDF
The Cyclotomic BMW Algebra Associated with the Two String TypeBBraid Group
2011
·
Stewart Wilcox
, Shona Yu
·
Communications in Algebra
·
20
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
2019
·
Bansal, Kshitij
, Loos, Sarah M.
, et al.
·
arXiv (Cornell University)
·
19
PDF
On the freeness of the cyclotomic BMW algebras: admissibility and an isomorphism with the cyclotomic Kauffman tangle algebras
2009
·
Wilcox, Stewart
, Yu, Shona
·
arXiv (Cornell University)
·
17
PDF
On the cellularity of the cyclotomic Birman-Murakami-Wenzl algebras
2012
·
S. Wilcox
, S. Yu
·
Journal of the London Mathematical Society
·
14
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version)
2019
·
Kshitij Bansal
, Sarah M. Loos
, et al.
·
arXiv (Cornell University)
·
13
Quantum walled Brauer–Clifford superalgebras
2016
·
Georgia Benkart
, Nicolas Guay
, et al.
·
Journal of Algebra
·
13
PDF
Almost cellular algebras
2015
·
Nicolas Guay
, Stewart Wilcox
·
Journal of Pure and Applied Algebra
·
13
The cyclotomic BMW algebra associated with the two string type B braid group
2006
·
Wilcox, Stewart
, Yu, Shona
·
arXiv (Cornell University)
·
4
PDF
Cellularity of Twisted Semigroup Algebras of Regular Semigroups
2005
·
Stewart Wilcox
·
The Sydney eScholarship Repository (The University of Sydney)
·
1
PDF
Complementation in the group of units of matrix rings
2004
·
Stewart Wilcox
·
Bulletin of the Australian Mathematical Society
·
1
PDF
Complementation in the Group of Units of Matrix Rings
2010
·
Wilcox, Stewart
·
arXiv (Cornell University)
PDF
Reduction of the Hall-Paige conjecture to sporadic simple groups
2010
·
Wilcox, Stewart
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
19
Citation count:
322
H-index:
11
I10-index:
11
Year
Topic
Type
