| |
| 2006 | ||
|---|---|---|
| 2 | EE | Pavel Pech: On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. Automated Deduction in Geometry 2006: 157-170 |
| 2004 | ||
| 1 | EE | Pavel Pech: Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides. Automated Deduction in Geometry 2004: 44-58 |