This paper introduces a reasoning system based on a previously developed model for ternary projective relations between spatial objects. The model applies to spatial objects of the kind point and ...

modules mathematics polynomials interpreted-programming-language algebraic-geometry symbolic-computation rings groebner-basis polynomial-systems polynomial-arithmetic resolutions projective-geometry ...