Judit Robu

	2006
3		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		Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142
1		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]