Computational Symbolic Geometry

... Important relations in this representation and operators corresponding to geometric properties are also given. Where possible we will exhibit intersection formulas for constraint problems on these objects and we end by suggesting applications in applied fields. The first part is devoted to linear spaces, the second to spheres, the third to displacements and the last one to matrices, treated as non-commutative variables. The ensemble of this work aims to convince the reader that symbolic manipulations on such geometric objects can be effectively handled in practice