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 | 198 | 2006 |

A survey of the *Theorema* projectB Buchberger, T Jebelean, F Kriftner, M Marin, E Tomuţa, D Văsaru Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997 | 163 | 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 | 126 | 2001 |

A generalization of the binary GCD algorithm T Jebelean Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993 | 101 | 1993 |

An algorithm for exact division T Jebelean Journal of symbolic computation 15 (2), 169-180, 1993 | 78 | 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 | 56 | 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 | 53 | 2005 |

Comparing several GCD algorithms T Jebelean Proceedings of IEEE 11th Symposium on Computer Arithmetic, 180-185, 1993 | 37 | 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 | 33 | 2004 |

Practical integer division with Karatsuba complexity T Jebelean Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997 | 29 | 1997 |

PACLIB User Manual H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ... | 29 | 1992 |

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 | 28 | 1995 |

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 |

Synthesis of list algorithms by mechanical proving I Drămnesc, T Jebelean Journal of Symbolic Computation 69, 61-92, 2015 | 23 | 2015 |

Bidirectional Exact Integer Divison W Krandick, T Jebelean First International Symposium on Parallel Symbolic Computation (PASCO'94 …, 1994 | 21 | 1994 |

Parallel rational arithmetic for computer algebra systems: Motivating experiments B Buchberger, T Jebelean RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1992 | 21 | 1992 |

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 | 20 | 2009 |

Using the parallel Karatsuba algorithm for long integer multiplication and division T Jebelean European Conference on Parallel Processing, 1169-1172, 1997 | 20 | 1997 |

Improving the multiprecision Euclidean algorithm T Jebelean International Symposium on Design and Implementation of Symbolic Computation …, 1993 | 20 | 1993 |

Proof techniques for synthesis of sorting algorithms I Dramnesc, T Jebelean 2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011 | 17 | 2011 |