![]() | ![]() |
2004 | ||
---|---|---|
3 | EE | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142 |
2 | EE | 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: 19-33 |
2001 | ||
1 | EE | Dana Petcu, Horia Emil Popa, Dorin Tepeneu: A User-Level Interface for Clustering Mathematical Software Kernels. IWCC 2001: 172-178 |
1 | Bruno Buchberger | [2] [3] |
2 | Tetsuo Ida | [2] [3] |
3 | Dana Petcu | [1] |
4 | Horia Emil Popa | [1] |
5 | Judit Robu | [2] [3] |
6 | Hidekazu Takahashi | [2] |