Tudor Jebelean.A Heuristic Prover for Elementary Analysis in Theorema. Technical report no. 21-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2021.[doi][pdf][bib]
2020
Isabela Dramnesc, Tudor Jebelean.Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema. Technical report no. 20-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2020.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.Synthesis of Delete on Lists and Binary Trees Using Multisets in Theorema. Technical report no. 20-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2020.[pdf][bib]
2018
T. Jebelean.Experiments with Automatic Proofs in Elementary Analysis. Technical report no. 18-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2018.Work in progress.[zip][pdf][pdf][bib]
2017
Tudor Jebelean, Nikolaj Popov.A Set-Based Approach to Qualitative and Quantitative Estimation of Competencies. Technical report no. 17-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2017.[pdf][bib]
2015
Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat.Synthesis of Some Algorithms for Trees: Experiments in Theorema. Technical report no. 15-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
2012
Tudor Jebelean, Anna Medve.Formalization of Workflows Using Fork-Join Automata. Technical report no. 12-21 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2012.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.Semi-automatic Synthesis of Some Sorting Programs in Theorema. Research Institute for Symbolic Computation (RISC), University of Linz. Technical report no. 12-01, Schloss Hagenberg, 4232 Hagenberg, Austria, January2012.RISC Report Series.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean.Systematic Exploration of the Theory of Lists in Theorema. Technical report no. 12-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2012.RISC Report Series.[pdf][bib]
2011
Isabela Dramnesc, Tudor Jebelean.Automated Reasoning on Tuples - Case Studies in Proof Based Synthesis. Technical report no. 11-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2011.[pdf][bib]
2010
Tudor Jebelean, Gabor Kusper.Experiments with Multi-Domain Logic: Variable Merging and Split Strategies. Technical report no. 10-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2010.[pdf][bib]
Isabela Dramnesc, Tudor Jebelean and Adrian Craciun.Case Studies in Systematic Exploration of Tuple Theory. Technical report no. 10-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2010.[pdf][bib]
Madalina Erascu, Tudor Jebelean.A Purely Logical Approach to Imperative Program Verification. Technical report no. 10-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2010.[pdf][bib]
T. Jebelean, M. Mosbah, N. Popov (eds.).Proceedings of SCSS 2010 Symbolic Computation in Software Science. Technical report no. 10-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2010.[pdf][bib]
2009
Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean.Knowledge Archives in Theorema: A Logic-Internal Approach. Technical report no. 09-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2009.[ps][pdf][bib]
2008
Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean.Mathematical Knowledge Archives in Theorema. Technical report no. 08-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2008.[pdf][bib]
2007
M. Giese, T. Jebelean.Proc. Workshop on Invariant Generation, WING 2007. Technical report no. 07-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).062007.Workshop Proceedings.[pdf][bib]
M. Erascu, T. Jebelean.Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System. RISC Linz. Technical report no. 07-12, July 12007.Presented at First Austria-Japan Workshop on Symbolic Computation and Software Verification, Linz, Austria, July 1st 2007.[pdf][bib]
Florina Piroi, Bruno Buchberger, Camelia Rosenkranz, Tudor Jebelean.Organisational Tools for MKM in Theorema. Technical report no. 07-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2007.[ps][bib]
2006
L. Kovacs, T. Jebelean.Finding Polynomial Invariants for Imperative Loops in the Theorema System. Technical report no. 03-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2006.[pdf][bib]
L. Kovacs, T. Jebelean, D. Kapur.Using Symbolic Summation and Polynomial Algebra for Imperative Program Verification in Theorema. RISC-Linz. Technical report, 2006.submitted to MatCom Journal.[pdf][bib]
2004
Nikolaj Popov, Tudor Jebelean.Verification of Simple Recursive Programs: Sufficient Conditions. Technical report no. 04-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2004.[pdf][ps][ps][bib]
2001
Tudor Jebelean.Natural Proofs in Elementary Analysis by S-Decomposition. Technical report no. 01-33 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2001.[ps][ps][bib]
2000
B. Buchberger, D. Vasaru, T. Jebelean.The Theorema System: Current Status and the Proving-Solving-Computing Cycle. Technical report no. 00-37 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2000.[ps][bib]
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger.The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical report no. 00-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2000.[ps][bib]
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger.The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains. Technical report no. 00-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2000.[ps][bib]
Boris Konev, Tudor Jebelean.Combining Level-Saturation Strategies and Meta-Variables for Predicate Logic Proving in Theorema. Technical report no. 00-40 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2000.[ps][bib]
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger.The Facilities of Theorema for Teaching Logic and Mathematics. Technical report no. 00-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2000.[ps][bib]
T. Jebelean, M. Dragan, D. Tepeneu, V. Negru.Parallel Algorithms for Practical Multiprecision Arithmetic Using the Karatsuba Method. Technical report no. 00-42 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).September2000.[ps][bib]
1999
Bogdan Matasaru, Tudor Jebelean.FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers. Technical report no. 99-48 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November1999.[ps][bib]
Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger.Theorema: A Progress Report. Technical report no. 99-42 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1999.Also available as SFB Report 99-35, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999.[ps][bib]
Bruno Buchberger, Tudor Jebelean.Distance Teaching of Mathematics Using Theorema. Technical report no. 99-43 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1999.Also available as SFB Report No. 99-36, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999.[doc][bib]
Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger.Theorema: A Short Demo. Technical report no. 99-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1999.Also available as SFB Report 99-37, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999.[tar.gz][bib]
1998
Bruno Buchberger, Tudor Jebelean.The Second International Theorema Workshop. Technical report no. 98-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June1998.[bib]
Bruno Buchberger, Klaus Aigner, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Mircea Marin, Koji Nakagawa, Ovidiu Podisor, Elena Tomuta, Yaroslav Usenko, Daniela Vasaru, Wolfgang Windsteiger.Theorema: An Integrated System for Computation and Deduction in Natural Style. Technical report no. 98-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1998.Also available as SFB Report No. 98-06.[ps][bib]
B. Buchberger, T. Jebelean, D. Vasaru.Theorema: A System for Formal Scientific Training in Natural Language Presentation. Johannes Kepler University Linz, Spezialforschungsbereich F013. Technical report no. 98-05, SFB Report, June1998.[bib]
1997
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru.A Survey of the Theorema Project. Technical report no. 97-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March1997.[ps][bib]
Tudor Jebelean.Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division. Technical report no. 97-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February1997.[ps][bib]
Tudor Jebelean.Auto-Configurable Array for GCD Computation. Technical report no. 97-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).March1997.[ps][bib]
Bruno Buchberger, Tudor Jebelean, Daniela Vasaru.Theorema: A System for Formal Scientific Training in Natural Language Presentation. Technical report no. 97-34 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October1997.[bib]
1996
Tudor Jebelean.Practical Integer Division with Karatsuba Complexity. Technical report no. 96-29 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1996.[ps][bib]
Tudor Jebelean.Exact Division with Karatsuba Complexity. Technical report no. 96-31 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1996.[ps][bib]
Werner Krandick, Tudor Jebelean.Bidirectional Exact Integer Division. Technical report no. 96-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1996.not available in electronic form.[bib]
Tudor Jebelean.Integer and Rational Arithmetic on MasPar. Technical report no. 96-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1996.[ps][bib]
Tudor Jebelean.Design of a Systolic Coprocessor for Rational Addition. Technical report no. 96-37 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December1996.[ps][bib]
1994
Tudor Jebelean.Systolic Multiprecision Arithmetic. Technical report no. 94-37 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1994.[bib]
Lucian Cucu, Mircea Dragan, Tudor Jebelean, Viorel Negru.Motion Planning Through Voronoi Diagrams Construction on Shared Memory Architecture. Technical report no. 94-42 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1994.[bib]
Tudor Jebelean.Designing Systolic Arrays for Integer GCD Computation. Technical report no. 94-47 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1994.Published in Proceedings of ASAP'94 (Application Specific Array Processors), San Francisco, August 1994, IEEE Computer Society Press..[bib]
Werner Krandick, Tudor Jebelean.Bidirectional Exact Integer Divison. Technical report no. 94-50 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1994.Published in Proceedings, PASCO'94, World Scientific Publ. Comp..[bib]
Tudor Jebelean.Implementing GCD Systolic Arrays on FPGA. Technical report no. 94-57 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1994.Published in Proceedings of FPLA 94 (Field Programmable Logic and Applications), Prague, Czech Republic, Sept. 1994..[bib]
Tudor Jebelean.Systolic Algorithms for Long Integer GCD Computation. Technical report no. 94-58 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1994.Published in Proceedings of CONPAR 94, Linz, Austria, Sept. 1994..[bib]
1993
Tudor Jebelean.Systolic Normalization of Rational Numbers. Technical report no. 93-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).XXX1993.Published in Proceedings ASAP'93(Application Specific Array Processors), Venice, Oct. 1993, IEEE Computer Society Press. To appear..[ps][bib]
Tudor Jebelean.A Generalization of the Binary GCD Algorithm. Technical report no. 93-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1993.[bib]
Tudor Jebelean.Rational Arithmetic Using FPGA. Technical report no. 93-48 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1993.Published in Presented at: Second International Workshop on Field Programmable Logic and Application; Oxford, England, Sept. 7-9, 1993..[bib]
Lucian Cucu, Mircea Dragan, Tudor Jebelean, Viorel Negru, Ion Popescu.Construction of Voronoi Diagrams. Technical report no. 93-52 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1993.[bib]
Lucian Cucu, Mircea Dragan, Tudor Jebelean, Viorel Negru.Delaunay Triangulation Using Divide-and-Conquer. Technical report no. 93-62 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1993.[bib]
1992
Bruno Buchberger, Tudor Jebelean.Parallel Rational Arithmetic for Computer Algebra Systems: Motivating Experiments. Technical report no. 92-29 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.Published in A preliminary version was presented at the ACPC (Austrian Center for Parallel Computation) workshop in Weinberg, Austria, April 1992..[bib]
Hoon Hong, Wolfgang Schreiner, Andreas Neubacher, Kurt Siegl, Hans-Wolfgang Loidl, Tudor Jebelean, Peter Zettler.PAC LIB User Manual. Technical report no. 92-32 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean.An Algorithm for Exact Division. Technical report no. 92-35 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Bruno Buchberger, Tudor Jebelean.Systolic Algorithms in Computer Algebra State of the Project. Technical report no. 92-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean, Thomas Moritz.RISPEL RISC's Specification Language Reference Manual. Technical report no. 92-44 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean.Systolic Multiplication on MasPar. Technical report no. 92-68 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean.Improving the Multiprecision Euclidean Algorithm. Technical report no. 92-69 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean.Comparing Several GCD Algorithms. Technical report no. 92-70 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean.Systolic Algorithms for Exact Division. Technical report no. 92-71 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]
Tudor Jebelean.On the Possibility of Implementing Fine Grain Systolic Algorithms on Certain Parallel Architectures. Technical report no. 92-72 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).1992.[bib]