Dorin Tepeneu

	2004
3		Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142
2		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		Dana Petcu, Horia Emil Popa, Dorin Tepeneu: A User-Level Interface for Clustering Mathematical Software Kernels. IWCC 2001: 172-178

Coauthor Index

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]

Colors in the list of coauthors