Algorithms in semi-algebraic geometry

Applications of Alfred Tarski's Ideas in Database Theory

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic

Polar varieties and computation of one point in each connected component of a smooth real algebraic set

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Developing a labelled object-relational constraint database architecture for the projection operator

Data & Knowledge Engineering

Inclusion dynamics hybrid automata

Information and Computation