Wilcox, Stewart
- HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
2019/04/05 by Kshitij Bansal, Sarah M. Loos, Bansal, Kshitij +7 · 3 voices · 5 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Mathematics, Computing, and Information Processing
- The cyclotomic BMW algebra associated with the two string type B braid group
2006/11/17 by Stewart Wilcox, Wilcox, Stewart, Shona Yu +1 · 1 citation
Mathematics · #17B37 #20F36 #Advanced Algebra and Geometry #Advanced Combinatorial Mathematics #Algebraic structures and combinatorial models #FOS: Mathematics #Quantum Algebra (math.QA) #Representation Theory (math.RT)