Irina Tchoupaeva

According to our database¹, Irina Tchoupaeva authored at least 2 papers between 2002 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 13th International Conference, 2004

2002

Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 2002