A Prolog assisted search for new simple Lie algebras.

David Cushing George W. Stagg David I. Stewart

Published in: Math. Comput. (2023)

Keyphrases

search algorithm
logic programming
search queries
data sets
search space
programming language
expert systems
search mechanism
knowledge representation
information retrieval systems
search strategies
theorem proving
semantic search