Judit Robu

According to our database, Judit Robu authored at least 4 papers between 2004 and 2012.

Collaborative distances:

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

2012

D.A.C Draw and Calc - the intuitive calculator -.

Barna Szocs, Szilárd Vajda, Judit Robu

Proceedings of the 10th IEEE Jubilee International Symposium on Intelligent Systems and Informatics, 2012

2006

Theorema: Towards computer-aided mathematical theory exploration.

Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger

J. Appl. Log., 2006

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