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 | 230 | 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 | 171 | 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 | 137 | 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 | 85 | 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 | 61 | 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 | 39 | 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 | 33 | 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 | 31 | 1992 |

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

Finding polynomial invariants for imperative loops in the theorema system L Kovacs, T Jebelean Proc. of Verify 6, 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 | 21 | 1997 |

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

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 |

Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques I Drămnesc, T Jebelean, S Stratulat Journal of Symbolic Computation 90, 3-41, 2019 | 19 | 2019 |