A User-Level Interface for Clustering Mathematical Software Kernels. - Dana Petcu; Horia Emil Popa; Dorin Tepeneu (IWCC, 2001)

Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. - Judit Robu; Tetsuo Ida; Dorin Tepeneu; Hidekazu Takahashi; Bruno Buchberger (Automated Deduction in Geometry, 2004)

Proving and Constraint Solving in Computational Origami. - Tetsuo Ida; Dorin Tepeneu; Bruno Buchberger; Judit Robu (AISC, 2004)