Dorin Tepeneu

Publication Activity (10 Years)

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

Publications

Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
Proving and Constraint Solving in Computational Origami. AISC (2004)
Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. Automated Deduction in Geometry (2004)
Dana Petcu, Horia Emil Popa, Dorin Tepeneu
A User-Level Interface for Clustering Mathematical Software Kernels. IWCC (2001)