dblp.uni-trier.dewww.uni-trier.de

Judit Robu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)