Christoph Koutschan.HolonomicFunctions (User's Guide). Technical report no. 10-01 in RISC Report Series, University of Linz, Austria. January2010.[url][pdf][bib]
L.X.Chau Ngo.Finding rational solutions of rational systems of autonomous ODEs. Technical report no. 10-02 in RISC Report Series, University of Linz, Austria. February2010.[pdf][bib]
Tudor Jebelean, Gabor Kusper.Experiments with Multi-Domain Logic: Variable Merging and Split Strategies. Technical report no. 10-03 in RISC Report Series, University of Linz, Austria. February2010.[ps][bib]
2009
Jens Volkert, Wolfgang Schreiner, Thomas Fahringer.3. Austrian Grid Symposium. September2009.Extended abstracts of the 3. Austrian Grid Symposium, September 28-29, 2009, Johannes Kepler University, Linz, Austria.[pdf][bib]
Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean.Knowledge Archives in Theorema: A Logic-Internal Approach. Technical report no. 09-01 in RISC Report Series, University of Linz, Austria. January2009.[pdf][ps][bib]
L.X.Chau Ngo.Rational general solutions of first order non-autonomous parametric ODEs. Technical report no. 09-02 in RISC Report Series, University of Linz, Austria. January2009.[pdf][bib]
M. Marin, T. Kutsia.Computational Methods in an Algebra of Regular Hedge Expressions. Technical report no. 09-03 in RISC Report Series, University of Linz, Austria. March2009.[pdf][bib]
Camelia Rosenkranz.Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema. Technical report no. 09-04 in RISC Report Series, University of Linz, Austria. February2009.[pdf][bib]
Manuela Wiesinger.Contributions to MacMahon's Partition
Analysis. Technical report no. 09-05 in RISC Report Series, University of Linz, Austria. January2009.Master Thesis.[pdf][bib]
B. Moore.Dynamic balancing of linkages by algebraic methods. Technical report no. 09-06 in RISC Report Series, University of Linz, Austria. PhD Thesis,April2009.[pdf][bib]
Manuel Kauers.Guessing Handbook. Technical report no. 09-07 in RISC Report Series, University of Linz, Austria. 2009.[nb][pdf][bib]
Johannes Middeke, Ekaterina Shemyakova, Franz Winkler.Proceedings of DEAM (Workshop for Differential Equations by Algebraic Methods). Technical report no. 09-08 in RISC Report Series, University of Linz, Austria. 2009.Proceedings.[pdf][bib]
C. Schneider.Structural Theorems for Symbolic Summation. Technical report no. 09-09 in RISC Report Series, University of Linz, Austria. 2009.[pdf][bib]
Vajda Robert.Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools. Technical report no. 09-11 in RISC Report Series, University of Linz, Austria. June2009.[pdf][bib]
B. Buchberger, R. McCasland, A. Craciun.Automatheo 2009: Proceedings of the Workshop on Automated Mathematical Theory Exploration. Technical report no. 09-12 in RISC Report Series, University of Linz, Austria. June2009.[bib]
L.X. Chau Ngo.A criterion for existence of rational general solutions of planar systems of ODEs. Technical report no. 09-13 in RISC Report Series, University of Linz, Austria. July2009.[pdf][bib]
Karin Nachbagauer.Power Series Solutions to Holonomic Differential Equations and the General Algebraic Equation. Technical report no. 09-15 in RISC Report Series, University of Linz, Austria. 2009.Diploma thesis.[pdf][bib]
Günther Mayrhofer.Symbolic Computation Prover with Induction. Technical report no. 09-16 in RISC Report Series, University of Linz, Austria. September2009.Master Thesis.[pdf][bib]
Christian Dönch.Bivariate difference-differential dimension polynomials and their computation in Maple. Technical report no. 09-19 in RISC Report Series, University of Linz, Austria. 2009.[pdf][bib]
2008
Mircea Marin.UNIF 2008, The 22nd International Workshop on Unification. 2008.[url][pdf][bib]
Johannes Middeke.A polynomial-time algorithm for the Jacobson form for matrices of differential operators . Technical report no. 08-13 in RISC Report Series,July2008.[pdf][bib]
P. Paule, V. Pillwein.Automatic Improvements of Wallis' Inequality. Technical report no. 08-18 in RISC Report Series, University of Linz, Austria. 2008.[pdf][ps][bib]
Gabor Guta, Barnabas Szasz, Wolfgang Schreiner.A Lightweight Model Driven Development Process based on XML Technology. Technical report no. 08-01 in RISC Report Series, University of Linz, Austria. March2008.Draft.[pdf][ps][bib]
Adrian Craciun.Lazy Thinking Algorithm Synthesis in Gröbner Bases Theory. Technical report no. 08-02 in RISC Report Series, University of Linz, Austria. April2008.[pdf][bib]
Veronika Pillwein.Computer Algebra Tools for Special Functions in High Order Finite Element Methods. Technical report no. 08-03 in RISC Report Series, University of Linz, Austria. 2008.[ps][pdf][bib]
Alexander Zapletal.Compilation of Theorema Programs. Technical report no. 08-04 in RISC Report Series, University of Linz, Austria. May2008.[pdf][bib]
Florina Piroi, Bruno Buchberger, Camelia Rosenkranz.Mathematical Journals as Reasoning Agents: Literature Review. Technical report no. 08-05 in RISC Report Series, University of Linz, Austria. March2008.[nb][pdf][bib]
Johannes Watzl.Investigations on Improving the SEE-GRID Optimization Algorithm. Technical report no. 08-06 in RISC Report Series, University of Linz, Austria. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,June2008.[pdf][bib]
Markus Stadlbauer.Integration von Entscheidungsprozeduren in einen interaktiven Beweisassistenten. Technical report no. 08-07 in RISC Report Series, University of Linz, Austria. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,June2008.[pdf][bib]
Bruno Buchberger, Tetsuo Ida, Temur Kutsia.Austrian-Japanese Workshop on Symbolic Computation in Software Science, SCSS 2008. Technical report no. 08-08 in RISC Report Series, University of Linz, Austria. 2008.[url][pdf][bib]
Aart Middeldorp.WRS 2008, 8th International Workshop on Reduction Strategies in Rewriting and Programming. Technical report no. 08-09 in RISC Report Series, University of Linz, Austria. 2008.[url][pdf][bib]
Tom Schrijvers, Frank Raiser, Thom Frühwirth.CHR 2008, Fifth Workshop on Constraint Handling Rules. Technical report no. 08-10 in RISC Report Series, University of Linz, Austria. 2008.[url][pdf][bib]
Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean.Mathematical Knowledge Archives in Theorema. Technical report no. 08-16 in RISC Report Series, University of Linz, Austria. September2008.[pdf][bib]
Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik.Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM. Technical report no. 08-17 in RISC Report Series, University of Linz, Austria. November2008.[pdf][bib]
Peter Paule.Henrici's Friendly Monster Identity Revisited. Technical report no. 08-19 in RISC Report Series, University of Linz, Austria. December2008.Dedicated to Professor Georgy Egorychev on the occasion of his
70th birthday.[pdf][bib]
William Y. C. Chen, Peter Paule, Husam L. Saad.Converging to Gosper's Algorithm. Technical report no. 08-20 in RISC Report Series, University of Linz, Austria. December2008.[pdf][bib]
Madalina Erascu.Automated Formal Static Analysis and Retrieval of Source Code. Technical report no. 08-21 in RISC Report Series, University of Linz, Austria. 2008.[pdf][bib]
Imre Zoltan Matko.Grid-aware Database Support for Medical Software. Technical report no. 8-14 in RISC Report Series, University of Linz, Austria. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,July2008.[pdf][bib]
Kenji Miyamoto.Parallel Algorithms for Sparse Matrices in an Industrial Optimization Software. Technical report no. 8-15 in RISC Report Series, University of Linz, Austria. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria,July2008.[pdf][bib]