| Theorema: Towards computer-aided mathematical theory exploration B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ... Journal of applied logic 4 (4), 470-504, 2006 | 222 | 2006 |
| A survey of the Theorema project B Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuţa, D Văsaru Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997 | 166 | 1997 |
| The TH∃ OREM∀ Project: A Progress Report B Buchberger, C Dupré, T Jebelean, F Kriftner, K Nakagawa, D Văsaru, ... Symbolic Computation and Automated Reasoning, 98-113, 2001 | 134 | 2001 |
| A generalization of the binary GCD algorithm T Jebelean Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993 | 105 | 1993 |
| An algorithm for exact division T Jebelean Journal of symbolic computation 15 (2), 169-180, 1993 | 88 | 1993 |
| Theorema 2.0: computer-assisted natural-style mathematics B Buchberger, T Jebelean, T Kutsia, A Maletzky, W Windsteiger Journal of Formalized Reasoning 9 (1), 149-185, 2016 | 57 | 2016 |
| An algorithm for automated generation of invariants for loops with conditionals LI Kovács, T Jebelean Seventh International Symposium on Symbolic and Numeric Algorithms for …, 2005 | 55 | 2005 |
| Comparing several GCD algorithms T Jebelean Proceedings of IEEE 11th Symposium on Computer Arithmetic, 180-185, 1993 | 40 | 1993 |
| Automated generation of loop invariants by recurrence solving in theorema L Kovacs, T Jebelean Proceedings of the 6th International Symposium on Symbolic and Numeric …, 2004 | 35 | 2004 |
| Practical integer division with Karatsuba complexity T Jebelean Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997 | 34 | 1997 |
| A double-digit Lehmer-Euclid algorithm for finding the GCD of long integers T Jebelean Journal of Symbolic Computation 19 (1-3), 145-157, 1995 | 34 | 1995 |
| PACLIB User Manual H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ... RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1992 | 30 | 1992 |
| Synthesis of list algorithms by mechanical proving I Drămnesc, T Jebelean Journal of Symbolic Computation 69, 61-92, 2015 | 24 | 2015 |
| Finding polynomial invariants for imperative loops in the theorema system L Kovacs, T Jebelean Proc. IJCAR’06 Workshop Verify’06, 52-67, 2006 | 24 | 2006 |
| Bidirectional Exact Integer Division. W Krandick, T Jebelean PASCO, 264-272, 1994 | 23 | 1994 |
| Using the parallel Karatsuba algorithm for long integer multiplication and division T Jebelean Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997 | 22 | 1997 |
| Improving the multiprecision Euclidean algorithm T Jebelean International Symposium on Design and Implementation of Symbolic Computation …, 1993 | 22 | 1993 |
| Parallel rational arithmetic for computer algebra systems: Motivating experiments B Buchberger, T Jebelean RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1992 | 22 | 1992 |
| Proof techniques for synthesis of sorting algorithms I Dramnesc, T Jebelean 2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011 | 19 | 2011 |
| Combining logical and algebraic techniques for natural style proving in elementary analysis R Vajda, T Jebelean, B Buchberger Mathematics and Computers in Simulation 79 (8), 2310-2316, 2009 | 19 | 2009 |
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityVerified email at jku.at
