Section: New Software and Platforms
RAGlib
Functional Description
RAGLib is a Maple library for solving over the reals polynomial systems and computing sample points in semi-algebraic sets.
Functional Description
RAGLib is a Maple library for solving over the reals polynomial systems and computing sample points in semi-algebraic sets.