Irina Tchoupaeva

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Philippe Clauss, Irina Tchoupaeva
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization. CC (2004)
Irina Tchoupaeva
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method. Automated Deduction in Geometry (2002)