Judit Robu

List of publications from the DBLP Bibliography Server - FAQ

2006

3 EE Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)

2004

2 EE Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142

1 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

2006
3	EE	Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006)
2004
2	EE	Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142
1	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

Coauthor Index

1	Bruno Buchberger	[1] [2] [3]
2	Adrian Craciun	[3]
3	Tetsuo Ida	[1] [2]
4	Tudor Jebelean	[3]
5	Laura Kovács (Laura Ildikó Kovács)	[3]
6	Temur Kutsia	[3]
7	Koji Nakagawa	[3]
8	Florina Piroi	[3]
9	Nikolaj Popov	[3]
10	Markus Rosenkranz	[3]
11	Hidekazu Takahashi	[1]
12	Dorin Tepeneu	[1] [2]