Concepedia

Tudor Jebelean

TJ

17

Publications

590

Citations

13

H-Index

1993

Active since

Affiliations

Johannes Kepler University of Linz(Current)

West University of Timişoara

RISC Software (Austria)

Tudor Jebelean is an author at Johannes Kepler University of Linz specializing in engineering, computer science, and discrete mathematics.

Top concepts

EngineeringComputer ScienceAutomated ReasoningDiscrete MathematicsComputational ComplexityFormal MethodsAlgorithm DesignFormal VerificationCombinatorial OptimizationAlgorithms

Publications per year

1993–2020

17

Publications

17

Theorema: Towards computer-aided mathematical theory exploration

Bruno Buchberger, Adrian Crăciun, Tudor Jebelean et al. · Journal of Applied Logic · 2005 · 129 citations

Mathematical Programming, Engineering, Automated Reasoning +3

A survey of the <i>Theorema</i> project

Bruno Buchberger, Tudor Jebelean, Franz Kriftner et al. · 1997 · 69 citations

Automated Reasoning, Automated Proof

An Algorithm for Exact Division

Tudor Jebelean · Journal of Symbolic Computation · 1993 · 59 citations

Mathematical Programming, Engineering, Computational Number Theory +7

A generalization of the binary GCD algorithm

Tudor Jebelean · 1993 · 59 citations · Full text

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011)

Dongming Wang, Viorel Negru, Tetsuo Ida et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2011 · 43 citations

Rows per page

1–5 of 17