Citation: R. Joan-arinyo et N. Mata, Applying constructive geometric constraint solvers to geometric problems with interval parameters, NONLIN ANAL, 47(1), 2001, pp. 213-224
Citation: R. Joan-arinyo et A. Soto-riera, Combining constructive and equational geometric constraint-solving techniques, ACM T GRAPH, 18(1), 1999, pp. 35-55