Documentation
Reference manual
[html].
Reference manual
[pdf]
A tutorial
[html]
A more detailled description
(An environment for Symbolic and Numeric Computation, G. Dos Reis, B. Mourrain, R. Rouillier, and Ph. Trébuchet, In
Proc. of the International Conference on Mathematical Software
, World Scientific, pp. 239--249, 2002).
A framework for Symbolic and Numeric Computations
, Mourrain, B. and Prieto, H. RR-4013 (INRIA).