Section: Software and Platforms

RAGlib

Participant : Mohab Safey El Din [contact] .

RAGLib is a Maple library for solving over the reals polynomial systems and computing sample points in semi-algebraic sets.