David I. Stewart

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 4

Top Topics

Logic Programming

Distributive Lattices

Top Venues

LMS J. Comput. Math.

Publications

David Cushing, George W. Stagg, David I. Stewart
A Prolog assisted search for new simple Lie algebras. Math. Comput. 93 (347) (2023)
David Cushing, David I. Stewart
You need 27 tickets to guarantee a win on the UK National Lottery. CoRR (2023)
David Cushing, George W. Stagg, David I. Stewart
A Prolog assisted search for new simple Lie algebras. CoRR (2022)
David I. Stewart
On the minimal modules for exceptional Lie algebras: Jordan blocks and stabilizers. LMS J. Comput. Math. 19 (1) (2016)