Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. - Judit Robu; Tetsuo Ida; Dorin Tepeneu; Hidekazu Takahashi; Bruno Buchberger (Automated Deduction in Geometry, 2004)

Proving and Constraint Solving in Computational Origami. - Tetsuo Ida; Dorin Tepeneu; Bruno Buchberger; Judit Robu (AISC, 2004)

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)

D.A.C Draw and Calc - the intuitive calculator -. - Barna Szocs; Szilárd Vajda; Judit Robu (SISY, 2012)