Publications

Books

  1. Kádek T., Várterész M., Robu J., Matematikai logika példatár, University Press, Cluj-Napoca, 2010, (174 p., ISBN: 978-973-595-122-1)
  2. Robu J., Automated Geometry Theorem Proving. Solutions using the Theorema System, University Press, Cluj-Napoca, 2007, (166 p., ISBN: 978-973-610-637-8)
  3. Kása Z., Robu J., Varga V., Barátkozzunk a számítógéppel, Editura Studium, 1996. (148 p., ISBN 973-97484-8-1)
  4. Colectiv, Programare Pascal. Programe Ilustrative. Probleme propuse pentru elevi si studenti, Editura Promedia-Plus, Cluj-Napoca, 1995. (228 p., ISBN 973-96862-1-4, coautor)

Articles

  1. J. Robu, Mechanical Proof of Some Geometry Statements Involving Order Relation, in Proceedings of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007), Dobogóko, Hungary, June 14-16, 2007, pp. 482-490.
  2. J. Robu, Automated Proof of Geometry Theorems Involving Order Relation in the Frame of the Theorema Project, in: Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques (KEPT2007), Cluj-Napoca, Romania, June 6-8, 2007, pp. 307-315.
  3. B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger, Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, Vol. 4, Issue 4, 2006, ISSN 1570-8683. pp. 470-504.
  4. Kása Zoltán, Robu Judit, Informatikusképzés magyarul Erdélyben, in Informatika a felsőoktatásban '2005, Konferenciakiadvány, Pethő Attila, Herdon Miklós (ed.), ISBN 963-472-909-6, 264-268.
  5. J. Robu, D. Tepeneu, T. Ida, H. Takahashi, B. Buchberger, Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness. In: Proceedings of ADG 2004, H.Hong and D. Wang (eds.), Springer Lecture Notes in Artificial Intelligence 3763, pp. 19-33 , 2006.
  6. T. Ida, D. Tepeneu, B. Buchberger, J. Robu, Proving and Constraint Solving in Computational Origami. In: Proceedings of AISC 2004, B. Buchberger and John Campbell (eds.), Springer Lecture Notes in Artificial Intelligence 3249, pp. 132-142. 2004.
  7. B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, C. Kocsis. F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, P. Paule, U. Langer (ed.), pp. 58-73. October 2003. Johannes Kepler University Linz, Austria,
  8. B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz. F 1302: Solving and Proving in General Domains. In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, U. Langer, F. Winkler (ed.), pp. 4-5. February 2002. Johannes Kepler University Linz, Austria
  9. Robu Judit, Geometry Theorem Proving in the Frame of the Theorema Project, PhD thesis, RISC-Linz Report Series No. 02-23, 2002
  10. Füvesi István, Bíró Edit, Robu Judit, Informatika határok nélkül, in Informatika a felsőoktatásban '2002, Konferenciakiadvány, ISBN 963 472 691 7, C22 (electronic format)
  11. Robu Judit, Systematic Exploration of Geometric Configurations Using Mathematica, Analele Universităţii Timişoara, Seria Matematica-Informatica, Vol. XXXIX, Fasc. special, 2001, pp. 209-216
  12. Robu Judit, Sinoai Áron, Mechanical Geometry Theorem Proving, in Proc. of the 4th International Conference on Applied Informatics (ICAI'99) Eger-Noszvaj, Hungary, aug. 30-sept. 3, 1999, pp. 147-155
  13. Robu Judit, An Explicit Proof of the Fundamental Theorem of Algebra in the Elementary Theory of Real Numbers, P.U.M.A. Vol. 9(1998), No. 1-2, pp. 171-179
  14. Kása Zoltán, Robu Judit, Varga Ibolya, Barátkozzunk a számítógéppel, Studium Kiadó, Kolozsvár, 1996
  15. Robu Judit, An Implementation of the Area Method for Proving Geometry Theorems, Reasearch Seminars on Computer Science, Univ. "Babes-Bolyai" Cluj, Preprint nr 2, 1996, pp. 55-62
  16. Kása Zoltán, Robu Judit, Varga Ibolya, Az informatika oktatás múltja és jelene a kolozsvári egyetemen, "Informatika a felsőoktatásban '96, Networkshop '96, Konferenciakiadvány", pp. 231-237
  17. Robu Judit, Mechanical Geometry Theorem Proving, Research Seminars on Computer Science, Univ. "Babeş-Bolyai" Cluj, Preprint nr 2, 1995, pp. 37-42
  18. M. Frentiu, Szilágyi J., The MACRO2 Macroprocessor, MATHEMATICA, tome 23(46), nr 1, 1981, pp. 139-140B1.
  19. M. Frentiu, Szilágyi J., Macroprocesoare în scrierea translatoarelor, Colectia de lucrari a Simpozionului "Informatica si conducere" Cluj-Napoca, 1980, pp. 77-78.
  20. Szilágyi J., Macroprocesoare, Colectia de lucrari a "Simpozionului national de informatica a studentilor" Iasi, 1979