LMI

Apkkarian  ++    LMI

Numerical

    Boyd Vanderberge

    Overton  LMI

 An Introduction To Groebner Bases, Froberg, Ralf.

GK dim  -- new book  unpublished

Lie Algebra package  (Dave)    -- Sam Buss will suggest

Positivity in Computer algebra   --- Vicki Powers

Deciding positivity of real polynomials--Abstract

(papers??)