|
Search the dblp DataBase
Dorin Tepeneu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2004, pp:19-33 [Conf]
- Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
Proving and Constraint Solving in Computational Origami. [Citation Graph (0, 0)][DBLP] AISC, 2004, pp:132-142 [Conf]
- Dana Petcu, Horia Popa, Dorin Tepeneu
A User-Level Interface for Clustering Mathematical Software Kernels. [Citation Graph (0, 0)][DBLP] IWCC, 2001, pp:172-178 [Conf]
Search in 0.001secs, Finished in 0.001secs
|