Judit Robu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c3		Barna Szocs, Szilárd Vajda, Judit Robu: D.A.C Draw and Calc - the intuitive calculator -. SISY 2012: 157-163
	2006
j1		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
c2		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
c1		Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu: Proving and Constraint Solving in Computational Origami. AISC 2004: 132-142

Coauthor Index

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

Last update Wed May 22 07:29:22 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page