Computer Science Laboratory

SPIRAL : A Library for Real Algebraic Geometry

Team : SPIRAL

This library, implemented in Maple, contains some functionalities for the study of real solutions of positive dimensional systems.