Urmăriți
Tudor Jebelean
Tudor Jebelean
Computer Mathematics Professor, Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria and University of the West Timisoara, Romania
Adresă de e-mail confirmată pe JKU.AT - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
1992006
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
1631997
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
1262001
A generalization of the binary GCD algorithm
T Jebelean
Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993
1031993
An algorithm for exact division
T Jebelean
Journal of symbolic computation 15 (2), 169-180, 1993
781993
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
562016
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
532005
Comparing several GCD algorithms
T Jebelean
Proceedings of IEEE 11th Symposium on Computer Arithmetic, 180-185, 1993
401993
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
332004
Practical integer division with Karatsuba complexity
T Jebelean
Proceedings of the 1997 international symposium on Symbolic and algebraic …, 1997
291997
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
291995
PACLIB User Manual
H Hong, W Schreiner, A Neubacher, K Siegl, HW Loidl, T Jebelean, ...
291992
Finding polynomial invariants for imperative loops in the theorema system
L Kovacs, T Jebelean
Proc. IJCAR’06 Workshop Verify’06, 52-67, 2006
242006
Synthesis of list algorithms by mechanical proving
I Drămnesc, T Jebelean
Journal of Symbolic Computation 69, 61-92, 2015
232015
Bidirectional Exact Integer Divison
W Krandick, T Jebelean
First International Symposium on Parallel Symbolic Computation (PASCO'94 …, 1994
211994
Parallel rational arithmetic for computer algebra systems: Motivating experiments
B Buchberger, T Jebelean
RISC; Research Institute for Symbolic Computation; Johannes Kepler Univ., 1992
211992
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
202009
Using the parallel Karatsuba algorithm for long integer multiplication and division
T Jebelean
European Conference on Parallel Processing, 1169-1172, 1997
201997
Improving the multiprecision Euclidean algorithm
T Jebelean
International Symposium on Design and Implementation of Symbolic Computation …, 1993
201993
Proof techniques for synthesis of sorting algorithms
I Dramnesc, T Jebelean
2011 13th International Symposium on Symbolic and Numeric Algorithms for …, 2011
172011
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20