Merkliste 
 1 Ergebnisse 
 
1

SyNRAC: a maple toolbox for solving real algebraic constrai..:

Yanami, Hitoshi ; Anai, Hirokazu
ACM Communications in Computer Algebra.  41 (2007)  3 - p. 112-113 , 2007