Given the very structural nature of the Lie algebra, wonder if the work, or part of it, can be automated and done by computers ... Enlightenment from any expert

Given the very structural nature of the Lie algebra, wonder if the work, or part of it, can be automated and done by computers ... Enlightenment from any experts would be appreciated.