Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. - Irina Tchoupaeva (Automated Deduction in Geometry, 2002)

A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization. - Philippe Clauss; Irina Tchoupaeva (CC, 2004)