Tudor Jebelean

Tudor Jebelean

Johannes Kepler Universität Linz - Linz / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1401013
Johannes Kepler University Linz
person_outline Tudor Jebelean's MOST POPULAR ARTICLES
1-) Theorema: Towards computer-aided mathematical theory explorationB Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ...Journal of applied logic 4 (4), 470-504, 20061992006
2-) A survey of the Theorema projectB Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuţa, D VăsaruProceedings of the 1997 international symposium on Symbolic and algebraic …, 19971631997
3-) The TH∃ OREM∀ Project: A Progress ReportB Buchberger, C Dupré, T Jebelean, F Kriftner, K Nakagawa, D Văsaru, ...Symbolic Computation and Automated Reasoning, 98-113, 20011262001
4-) A generalization of the binary GCD algorithmT JebeleanProceedings of the 1993 international symposium on Symbolic and algebraic …, 19931021993
5-) An algorithm for exact divisionT JebeleanJournal of symbolic computation 15 (2), 169-180, 1993861993