Realcertify: a maple package for certifying non-negativity

Victor Magron, Mohab Safey El Din. Realcertify: a maple package for certifying non-negativity. ACM Comm. Computer Algebra, 52(2):34-37, 2018. [doi]

Abstract

Abstract is missing.