Dorin Tepeneu

According to our database, Dorin Tepeneu authored at least 3 papers between 2001 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Proving and Constraint Solving in Computational Origami.

Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.

Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2001

A User-Level Interface for Clustering Mathematical Software Kernels.

Dana Petcu, Horia Emil Popa, Dorin Tepeneu

Proceedings of the Advanced Environments, 2001