Judit Robu

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Computer Graphics

Semi Supervised

Top Venues

Publications

Barna Szocs, Szilárd Vajda, Judit Robu
D.A.C Draw and Calc - the intuitive calculator -. SISY (2012)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu
Proving and Constraint Solving in Computational Origami. AISC (2004)
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)