RISC Publications and Technical Reports

2012

• Ainhoa Aparicio-Monforte, Jacques-Arthur Weil. A reduced form for linear differential systems and its application to integrability of Hamiltonian systems. Journal of Symbolic Computation 47(2), pp. 192-213. 02 2012. ISSN 0747-7171. [url] [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, January 2012. 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), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. January 2012. RISC Report Series. [pdf] [bib]
• Isabela Dramnesc, Tudor Jebelean. Theory Exploration in Theorema: Case Study on Lists. In: Proceedings of the IEEE 7th International Symposium on Applied Computational Intelligence and Informatics, ?? (ed.), pp. ??-??. 2012. IEEE Xplore, Obuda University, Budapest, Hungary and "Politehnica" University of Timisoara, Romania, TO APPEAR. [bib]
• Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. ArXiv. Technical report no. 1201.1954, 2012. [pdf] [ps] [bib]
• Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. ArXiv. Technical report no. 1201.1982, 2012. [pdf] [ps] [bib]
• Shaoshi Chen, Manuel Kauers. Trading Order for Degree in Creative Telescoping. Journal of Symbolic Compuation 47(8), pp. 968-995. 2012. ISSN 0747-7171. to appear. [pdf] [ps] [bib]
• Shaoshi Chen, Manuel Kauers. Order-Degree Curves for Hypergeometric Creative Telescoping. In: Proceedings of ISSAC 2012, tba (ed.), pp. ?-?. 2012. tba. [pdf] [bib]
• Shaoshi Chen, Manuel Kauers, Michael F. Singer. Telescopers for Rational and Algebraic Functions via Residues. In: Proceedings of ISSAC 2012, tba (ed.), pp. ?-?. 2012. tba. [pdf] [bib]
• Muhammad Taimoor Khan. Formal Semantics of MiniMaple. Technical report no. 12-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. January 2012. [pdf] [bib]
• Muhammad Taimoor Khan. Formal Semantics of a Specification Language for MiniMaple. Technical report no. 12-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. April 2012. [pdf] [bib]
• Muhammad Taimoor Khan, Wolfgang Schreiner. Towards the Formal Specification and Verification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 231-247. July 2012. Springer-Verlag, Berlin/Heidelberg, ????. [pdf] [bib]
• Muhammad Taimoor Khan, Wolfgang Schreiner. On Formal Specification of Maple Programs. In: Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 442-446. July 2012. Springer-Verlag, Berlin/Heidelberg, ????. [pdf] [bib]
• Christoph Koutschan, Christoph Lehrenfeld, Joachim Schoeberl. Computer Algebra meets Finite Elements: an Efficient Implementation for Maxwell's Equations. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer, Peter Paule (ed.), Texts and Monographs in Symbolic Computation 1, pp. 105-121. 2012. Springer, Wien, ISBN 978-3-7091-0793-5. [pdf] [bib]
• Tewodros Amdeberhan, Christoph Koutschan, Victor H. Moll, Eric S. Rowland. The iterated integrals of ln(1+x^n). International Journal of Number Theory 8(1), pp. 71-94. 2012. ISSN 1793-0421. [pdf] [bib]
• Masao Ishikawa, Christoph Koutschan. Zeilberger's Holonomic Ansatz for Pfaffians. In: Proceedings of ISSAC 2012, Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, pp. ?-?. 2012. ACM, ISBN ???-?-????-????-?. To appear. [url] [pdf] [bib]
• Stavros Garoufalidis, Christoph Koutschan. Twisting q-holonomic sequences by complex roots of unity. In: Proceedings of ISSAC 2012, Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, pp. ?-?. 2012. ACM, ISBN ???-?-????-????-?. To appear. [pdf] [bib]
• Christoph Koutschan, Thotsaporn Thanatipanonda. Advanced Computer Algebra for Determinants. Annals of Combinatorics, pp. ?-?. 2012. ISSN 0218-0006. To appear (preprint on arXiv:1112.0647). [url] [pdf] [bib]
• S. Beuchler, V. Pillwein and S. Zaglmayr. Fast summation techniques for sparse shape functions in tetrahedral hp-FEM. In: Domain Decomposition Methods in Science and Engineering XX, , pp. ?-?. 2012. to appear. [pdf] [bib]
• S. Beuchler, V. Pillwein and S. Zaglmayr. Sparsity optimized high order finite element functions for H(div) on simplices. Numerische Mathematik, pp. ?-?. 2012. to appear. [pdf] [bib]
• Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (ed.). Algebraic and Numeric Biology. Proceedings of 4th International Conference ANB 2010, Hagenberg, Austria, LNCS, 6479, 2012. Springer, ISBN 978-3-642-28066-5. Revised Selected Papers. [bib]
• Clemens G. Raab. Using Groebner Bases for Finding the Logarithmic Part of the Integral of Transcendental Functions. Journal of Symbolic Computation 47, pp. ??-??. 2012. ISSN 0747-7171. to appear. [bib]
• Cristian-Silviu Radu. A proof of Subbarao's conjecture. Journal fuer Reine und angewandte Mathematik, pp. -. 2012. 1435-5345. [bib]
• J. Bluemlein, S. Klein, C. Schneider, F. Stan. A Symbolic Summation Approach to Feynman Integral Calculus. J. Symbolic Comput., pp. -. 2012. ISSN 0747-7171. To appear. [pdf] [bib]
• J. Ablinger, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock. New Heavy Flavor Contributions to the DIS Structure Function $F_2(x, Q^2)$ at $O(\alpha_s^3)$. In: Proceedings of RADCOR 2011, , Proceedings of 10th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology) PoS(RADCOR2011)31, pp. 1-8. 2012. ISSN 1824-8039. [url] [bib]
• J. Bluemlein, A. Hasselhuhn, C. Schneider. Evaluation of Multi-Sums for Large Scale Problems. In: Proceedings of RADCOR 2011, , Proceedings of 10th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology)PoS(RADCOR2011)32, pp. 1-9. 2012. ISSN 1824-8039. [url] [bib]
• J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider. The $O(α_s^3 n_f T_F^2 C_{A, F})$} Contributions to the Gluonic Massive Operator Matrix Elements. Submitted, pp. 1-16. 2012. [url] [bib]
• Wolfgang Schreiner. Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. In: Proceedings First Workshop on CTP Components for Educational Software (THedu'11), Pedro Quaresma and Ralph-Johan Back (ed.), Electronic Proceedings in Theoretical Computer Science (EPTCS) 79, pp. 124-142. February 2012. Wroclaw, Poland, July 31, 2011, ISSN: 2075-2180. [url] [bib]
• V. Pillwein, S. Takacs. A local Fourier convergence analysis of a multigrid method using symbolic computation. DK Computational Mathematics. Technical report no. DK Report 2012-04, April 2012. [pdf] [bib]

2011

• Ainhoa Aparicio-Monforte, Moulay Barkatou, Sergi Simon, Jacques-Arthur Weil. Formal First Integrals Along Solutions of Differential Systems I. In: ISSAC 2011, Association for Computing Machinery (ed.), pp. 19-26. 2011. ACM, 978-1-4503-0675-1. [bib]
• Ainhoa Aparicio-Monforte, Jacques-Arthur Weil. A reduction method for higher order variational equations of Hamiltonian systems. In: Symmetries and Related Topics in Differential and Difference Equations, David Blázquez-Sanz, Juan J. Morales-Ruiz and Jesús Rodríguez Lombardero (ed.), Contemporary Mathematics , pp. ---. september 2011. American Mathematical Society, 2009 Jairo Charris Seminar in Symmetries of Differential and Difference Equations, 0-8218-6872-1. [bib]
• Christoph Fürst. Combinatorial Sums: Egorychev's Method of Coefficients and Riordan Arrays. RISC, Johannes Kepler University Linz. Diploma Thesis. March 2011. [pdf] [bib]
• Tudor Jebelean, Anna Medve. Formalization of Workflows Using Fork-Join Automata (extended abstract). Technical report no. 11-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. December 2011. [pdf] [bib]
• Volkmar Wieser, Clemens Grelck, Holger Schoner, Peter Haslinger, Karoly Bosa, Bernhard Moser. GPU-Based Image Processing Use Cases: A High-Level Approach. In: Proceedings of ParCo2011, - (ed.), Proceedings of International Conference on Parallel Computing 2011, Advances in Parallel Computing , pp. -. September 2011. IOS Press, 0. [url] [pdf] [bib]
• Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger. Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. ?-?. 2011. Springer, Wien, Also available as RICAM Report 2010-05, September 2010. [pdf] [bib]
• Bruno Buchberger, Manuel Kauers. Buchberger's Algorithm. Scholarpedia 6(10), pp. 7764-7764. October 2011. 1941-6016. [url] [bib]
• Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li. On the Structure of Compatible Rational Functions. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), Proceedings of The 36th International Symposium on Symbolic and Algebraic Computation (ISSAC2011), pp. 91-98. June 2011. ACM, 978-1-4503-0675-1. [url] [pdf] [ps] [bib]
• Isabela Dramnesc and 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), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. July 2011. [pdf] [bib]
• Isabela Dramnesc, Tudor Jebelean . Proof Techniques for Synthesis of Sorting Algorithms. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt and D. Zaharie (ed.), pp. 101-109. September 2011. IEEE Computer Society, ISBN 978-0-7695-4630-8. [url] [pdf] [bib]
• Madalina Erascu. Symbolic Computation and Program Verification. Proving Partial Correctness and Synthesizing Optimal Algorithms. Technical report no. 11-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2011. [pdf] [bib]
• Burcin Erocal. Algebraic extensions for summation in finite terms. RISC, Johannes Kepler University, Linz. PhD Thesis. February 2011. [pdf] [bib]
• Gabor Guta. A Graph Annotation Based Algorithm for Transducer Modification Inference. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 05 2011. [pdf] [bib]
• Madalina Hodorog. Symbolic-Numeric Algorithms for Plane Algebraic Curves. Research Institute for Symbolic Computation, Doctoral Program "Computational Mathematics". Technical report no. 11-14, PhD thesis, November 2011. [pdf] [bib]
• Fredrik Johansson. A fast algorithm for reversion of power series. 2011. arxiv preprint, [pdf] [bib]
• Manuel Kauers, Peter Paule. The Concrete Tetrahedron. Text and Monographs in Symbolic Computation 1st edition, 2011. Springer Wien, 978-3-7091-0444-6. [bib]
• Manuel Kauers, Sheng-Lan Ko. Problem 11545. 1 2011. American Mathematical Monthly 118(1):84, ISSN 0192-5857. [ps] [pdf] [bib]
• Manuel Kauers. How To Use Cylindrical Algebraic Decomposition. Seminaire Lotharingien de Combinatoire 65(B65a), pp. 1-16. 2011. ISSN 1286-4889. [pdf] [ps] [bib]
• Manuel Kauers, Doron Zeilberger. The Computational Challenge of Enumerating High Dimensional Rook Paths. Advances in Applied Mathematics 47(4), pp. 813-819. 2011. ISSN 0196-8858. [pdf] [ps] [bib]
• Manuel Kauers. A Mathematica Package for Computing Asymptotic Expansions of Solutions of P-Finite Recurrence Equations. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2011. [ps] [pdf] [bib]
• Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the Family of Sugeno-Weber t-norms. Fuzzy Sets and Systems 181(1), pp. 74-87. October 2011. ISSN 0165-0114. [ps] [pdf] [bib]
• Manuel Kauers, Christian Krattenthaler, Thomas W. Mueller. A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting. ArXiv. Technical report no. 1107.2015, 2011. [pdf] [ps] [bib]
• Manuel Kauers (ed.). ISSAC 2011 Poster Abstracts. Communications in Computer Algebra, 45/2, June 2011. ACM Sigsam, [bib]
• Muhammad Taimoor Khan. A Type Checker for MiniMaple. Technical report no. 11-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. April 2011. [pdf] [bib]
• Muhammad Taimoor Khan, Wolfgang Schreiner. Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract). In: Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11), Paul Pettersson and Cristina Seceleanu (ed.), pp. 42-44. October 2011. Vasteras, Sweden, Doktoratskolleg, Research Institute for Symbolic Computation, 1404-3041. [pdf] [bib]
• Muhammad Taimoor Khan. Towards a Behavioral Analysis of Computer Algebra Programs. Technical report no. 11-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. November 2011. [pdf] [bib]
• Tewodros Amdeberhan, Mark W. Coffey, Olivier Espinosa, Christoph Koutschan, Dante V. Manna, Victor H. Moll. Integrals of powers of loggamma. Proceedings of the AMS 139(2), pp. 535-545. 2011. ISSN 0002-9939. [pdf] [bib]
• Christoph Koutschan, Victor H. Moll. The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. SCIENTIA Series A (Mathematical Sciences) 20, pp. 93-111. 2011. Universidad Tecnica Federico Santa Maria, Valparaiso, Chile, ISSN 0716-8446. [pdf] [bib]
• Christoph Koutschan, Manuel Kauers, Doron Zeilberger. Proof of George Andrews's and David Robbins's q-TSPP conjecture. Proceedings of the National Academy of Sciences 108(6), pp. 2196-2199. 2011. ISSN 0027-8424. [url] [pdf] [bib]
• Stavros Garoufalidis, Christoph Koutschan. The sl3 Jones polynomial of the trefoil: a case study of q-holonomic recursions. Advances in Applied Mathematics 47(4), pp. 829-839. 2011. ISSN 0196-8858. [pdf] [bib]
• Christoph Koutschan, Doron Zeilberger. The 1958 Pekeris-Accad-WEIZAC Ground-Breaking Collaboration that computed Ground States of Two-Electron Atoms (and its 2010 Redux). The Mathematical Intelligencer 33(2), pp. 52-57. 2011. ISSN 0343-6993. [pdf] [bib]
• Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak. On Two-generated Non-commutative Algebras Subject to the Affine Relation. In: Proceedings of CASC 2011, Vladimir Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii Vorozhtsov (ed.), Lecture Notes in Computer Science 6885, pp. 309-320. 2011. Springer, ISBN 978-3-642-23567-2. [pdf] [bib]
• Frederic Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy. On Kahan's Rules for Determining Branch Cuts. In: Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011), Dongming Wang et al. (ed.), pp. 47-51. 2011. IEEE Computer Society - Conference Publishing Services (CPS), ISBN 978-0-7695-4630-8. [pdf] [bib]
• Christoph Koutschan. Lattice Green's Functions of the Higher-Dimensional Face-Centered Cubic Lattices. ArXiv (www.arxiv.org). Technical report no. 1108.2164, 2011. Submitted for publication. [url] [pdf] [bib]
• Irina Georgieva, Clemens Hofreither, Christoph Koutschan, Veronika Pillwein, Thotsaporn Thanatipanonda. Harmonic interpolation based on Radon projections along the sides of regular polygons. DK Computational Mathematics. Technical report no. 2011-12, Johannes Kepler University Linz, Austria, 2011. [pdf] [bib]
• Thierry Combot, Christoph Koutschan. Third order integrability conditions for homogeneous potentials of degree -1. ArXiv (www.arxiv.org). Technical report no. 1111.5971, 2011. Submitted for publication. [url] [pdf] [bib]
• Christoph Koutschan, Thotsaporn Thanatipanonda. Advanced Computer Algebra for Determinants. ArXiv (www.arxiv.org). Technical report no. 1112.0647, 2011. Submitted for publication. [url] [pdf] [bib]
• Stavros Garoufalidis, Christoph Koutschan. The non-commutative A-polynomial of (-2, 3, n) pretzel knots. Experimental Mathematics, pp. ?-?. 2011. ISSN 1058-6458. To appear. [url] [pdf] [bib]
• Tudor Jebelean, Gabor Kusper. SAT Solving Experiments in Multi-Domain Logic. In: ICAI 2001, Emod Kovacs (ed.)I, pp. 95-105. 2011. Eger, Hungary, 0. [bib]
• Demis Ballis and Temur Kutsia (ed.). Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems . ISSN 0747-7171. [url] [bib]
• Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-Unification for Unranked Terms and Hedges. Technical report no. 11-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2011. [pdf] [bib]
• Temur Kutsia, Jordi Levy, Mateu Villaret. Anti-Unification for Unranked Terms and Hedges. In: Proceedings of the 22st International Conference on Rewriting Techniques and Applications, RTA 2011, Manfred Schmidt-Schauss (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 10, pp. 219-234. 2011. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing, ISBN 978-3-939897-30-9, ISSN 1868-8969. [url] [bib]
• Johannes Middeke. A computational view on normal forms of matrices of Ore polynomials. Research Institute for Symbolic Computation (RISC). PhD Thesis. July 2011. RISC Technical Report 11-10. [pdf] [bib]
• Felix Antritter and Johannes Middeke. A toolbox for the analysis of linear systems with delays. In: Proceedings of the 50th IEEE Conference on Decision and Control (CDC 2011), , Proceedings of 50th IEEE Conference on Decision and Control (CDC 2011), pp. -. December 2011. Orlando, Florida, USA, IEEE, [bib]
• I. Moale and F. Peherstorfer. Explicit min-max polynomials on the disc. J. Approx. Theory 163, pp. 707-723. 2011. ISSN 0021-9045. [bib]
• I. Moale and F. Peherstorfer. An explicit class of min-max polynomials on the ball and on the sphere. J. Approx. Theory 163, pp. 724-737. 2011. ISSN 0021-9045. [bib]
• I. Moale and P. Yuditskii. On complex (non-analytic) Chebyshev polynomials in C^2. Comput. Methods Funct. Theory 11, pp. 13-24. 2011. ISSN 1617-9447. [bib]
• I Moale. Explicit weighted min-max polynomials on the disc. In: submitted, , pp. -. 2011. [bib]
• L.X.C Ngo, F. Winkler. Rational general solutions of planar rational systems of autonomous ODEs. Journal of Symbolic Computation 46(10), pp. 1173-1186. 2011. Research Institute for Symbolic Computation, ISSN: 0747-7171. [url] [bib]
• L.X.C. Ngo. Rational General Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation (RISC). PhD Thesis. October 2011. RISC Technical Report 11-12. [pdf] [bib]
• L.X.C. Ngo, F. Winkler. Rational general solutions of parametrizable AODEs. Publicationes Mathematicae Debrecen, pp. 573-587. 2011. ISSN 0033-3883. [bib]
• Y. Huang, L.X.C. Ngo, F. Winkler. Rational general solutions of trivariate rational systems of autonomous ODEs. In: Proceedings Forth Internat. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), 111 (ed.), pp. 93-100. 2011. 111. [bib]
• P. Paule, V. Pillwein. Automatic Improvements of Wallis' Inequality. In: SYNASC 2010, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida and others (ed.), pp. 12-16. 2011. IEEE Computer Society, 0. [pdf] [bib]
• S. Beuchler, V. Pillwein, J. Schoeberl and S. Zaglmayr . Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, Ulrich Langer and Peter Paule (ed.), pp. 21-44. 2011. Springer, Wien, [pdf] [bib]
• C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos. On the Average Complexity for the Verification of Compatible Sequences . Information Processing Letters 111(17), pp. 825-830. 2011. [pdf] [bib]
• N. Popov, T. Jebelean. Sound and Complete Verification Condition Generator for Functional Recursive Programs.. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 219-256. 2011. Springer, Wien, ISBN 978-3-7091-0793-5. [bib]
• Silviu Radu, James Sellers. Parity results for broken k-diamond partitions and (2k+1)-cores. Acta Arithmetica, pp. 43-52. 2011. ISSN 0065-1036. [bib]
• M. Hodorog, J. Schicho. A Symbolic-Numeric Algorithm for Genus Computation. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer and P. Paule (ed.), pp. 65-95. 2011. Springer Wien, 0943-853X. [pdf] [bib]
• M. Hodorog, B. Mourrain, J. Schicho. An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curve Singularities. In: Proceedings of the 11th International Conference on Computational Science and Its Applications, Part III, Session: Computational Geometry and Applications, B. Murgante et al. (ed.), Lecture Notes in Computer Science , pp. 121-131. 2011. Springer, Heidelberg, 978-3-642-21930-6. [pdf] [bib]
• M. Hodorog, J. Schicho. A Regularization Method for Computing Approximate Invariants of Plane Curves Singularities. In: Proceedings of the 4th International Workshop on Symbolic-Numeric Computation, L. Zhi et al. (ed.), pp. ?-?. 2011. ACM (Association for Computing Machinery), To appear. [pdf] [bib]
• J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock. The O(\alpha_s^3) Massive Operator Matrix Elements of O(n_f) for the Structure Function F_2(x, Q^2) and Transversity. Nucl. Phys. B 844, pp. 26-54. 2011. .ISSN: 0550-3213. [url] [bib]
• Manuel Kauers, Carsten Schneider. A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations. In: Proceedings of ISSAC 2011, Anton Leykin (ed.), pp. 201-208. 2011. 978-1-4503-0675-1. [pdf] [ps] [bib]
• H. Prodinger, C. Schneider, S. Wagner. Unfair permutations. Europ. J. Comb. 32, pp. 1282-1298. 2011. ISSN: 0195-6698. [pdf] [bib]
• J. Ablinger, J. Bluemlein, C. Schneider. Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials. Deutsches Elektronen-Synchrotron (DESY). Technical report no. DESY 11-033, 2011. [url] [bib]
• J. Ablinger, J. Bluemlein, C. Schneider. Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials. J. Math. Phys. 52(10), pp. 1-52. 2011. ISSN 0022-2488 . [arXiv:1007.0375 [hep-ph]]. [url] [pdf] [bib]
• J. Ablinger, J. Bluemlein, S. Klein, C. Schneider, F. Wissbrock. 3-Loop Heavy Flavor Corrections to DIS with two Massive Fermion Lines. In: 19th International Workshop On Deep-Inelastic Scattering And Related Subjects (DIS 2011), , pp. -. 2011. American Institute of Physics (AIP), [url] [bib]
• Wolfgang Schreiner. Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In: THedu'11, CTP Components for Educational Software, Workshop associated to CADE-23, Pedro Quaresma and Ralph-Johan Back (ed.), CISUC Technical Report 2011/001, pp. 55-59. 2011. Wroclaw, Poland, July 31, Center for Informatics and Systems, University of Coimbra, Portugal, ISSN 0874-338X. [pdf] [bib]
• Wolfgang Schreiner. Software. In: Nonlinear Resonance Analysis - Theory, Computation, Applications, Elena Kartashova (ed.), pp. 185-208. 2011. Cambridge University Press, Cambridge, UK, ISBN 978-0-521-76360-8. Appendix. [bib]
• Wolfgang Schreiner. The RISC ProgramExplorer - Tutorial and Manual. Technical report no. 11-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. October 2011. [pdf] [bib]
• Andrei-Ovidiu Coman. Video Tracking of Humans in Robotic Environments. Internationaler Universitätslehrgang Informatics: Engineering & Management (ISI Hagenberg). Diploma Thesis. September 2011. [pdf] [bib]
• Wolfgang Schreiner. Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In: Specification and Verification of Hybrid Systems, Proceedings of the First International Seminar, Louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker (ed.), pp. 64-69. 2011. Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse, October 10-12, 2011, Kyiv, Ukraine, ISBN 0000. [bib]
• Silviu Radu, James Sellers. Congruence Properties Modulo 5 and 7 for the pod Function. International Journal of Number Theory 8, pp. 2249-2259. 2011. 1793-7310. [bib]
• V. Pillwein, S. Takacs. Smoothing analysis of an all-at-once multigrid approach for optimal control problems using symbolic computation. In: Numerical and Symbolic Scientific Computing: Progress and Prospects, U. Langer, P. Paule (ed.), pp. 175-192. 2011. Springer Wien, [pdf] [bib]
• Loredana Tec. Computing and Proving with Integro-Differential Polynomials in Theorema. Technical report no. 11-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2011. [pdf] [bib]
• Loredana Tec. A Symbolic Framework for General Polynomial Domains in Theorema: Applications to Boundary Problems. Research Institute for Symbolic Computation. Technical report no. 11-09, July 2011. PhD Thesis. [pdf] [pdf] [bib]
• T. Thanatipanonda. Further Hopping with Toads and Frogs. The Electronic Journal of Combinatorics 18(1)(P67), pp. 1-12. 2011. 1077-8926. [pdf] [bib]
• Manuela Wiesinger-Widi. Groebner Bases and Generalized Sylvester Matrices. ACM Communications in Computer Algebra 45(2), pp. -. June 2011. Accepted extended abstract from ISSAC 2011 poster presentation. [pdf] [bib]
• Manuela Wiesinger-Widi. Sylvester Matrix and GCD for Several Univariate Polynomials. Technical report no. 11-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. May 2011. [pdf] [bib]
• Manuela Wiesinger-Widi. Towards Computing a Groebner Basis of a Polynomial Ideal over a Field by Using Matrix Triangularization. Technical report no. 11-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. May 2011. [pdf] [bib]
• Manfred Kerber, Colin Rowat, and Wolfgang Windsteiger. Using Theorema in the Formalization of Theoretical Economics. In: Intelligent Computer Mathematics, James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban (ed.), Proceedings of CICM 2011, Lecture Notes in Artificial Intelligence 6824, pp. 58-73. 2011. Springer, ISSN 0302-9743. [url] [pdf] [bib]
• F. Winkler. Algebraic Informatics. In: Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011), Springer Verlag (ed.), Proceedings of 4th International Conference on Algebraic Informatics (CAI 2011), pp. -. 2011. ISSN 0302-9743, ISBN 978-3-642-21492-9. [bib]
• shemyakova, winkler. Linear partial differential equations and linear partial differential operators in computer algebra. In: Numerical and Symbolic Scientific Computing - Progress and Prospects, Springer Verlag (ed.), pp. 333-358. 2011. Springer Verlag, ISSN 0943-853X. [bib]
• F. Winkler. What can Symbolic Computation contribute to Mathematics?. In: Proceedings SYNASC 2011,, aaa (ed.), pp. 1-14. 2011. 1111. [bib]

2010

• Christian Aistleitner. Differential aspects of differential characteristic set computations. Johannes Kepler University, Linz, Austria. PhD Thesis. June 2010. [pdf] [bib]
• Christian Aistleitner. Relations between Groebner bases, differential Groebner bases, and differential characteristic sets. Johannes Kepler University, Linz, Austria. Diploma Thesis. December 2010. [pdf] [bib]
• Karoly Bosa, Wolfgang Schreiner, Friedrich Priewasser. Report on the First Feature-Complete Prototype of a Distributed Supercomputing API for the Grid. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report no. AG-D4-1-2010_1, March 2010. Austrian Grid Deliverable. [pdf] [bib]
• Loredana Tec, Georg Regensburger, Markus Rosenkranz and Bruno Buchberger. An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. In: Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama (ed.), Proceedings of ICMS, Lecture Notes in Computer Science 6327, pp. 245-248. 2010. Springer, 978-3-642-15581-9. [pdf] [bib]
• Bruno Buchberger, Manuel Kauers. Groebner Bases. Scholarpedia 5(10), pp. 7763-7763. October 2010. ISSN 1941-6016. [url] [bib]
• N. Popov, T. Jebelean, B. Buchberger. From Program Verification to Automated Debugging. In: Workshop on Symbolic Computation in Software Science, T. Jebelean and M. Mosbah and N. Popov (ed.), Proceedings of SCSS 2010, pp. 55-65. July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, .. [bib]
• Cha Yongjae, van Hoeij Mark, Levy Giles. Solving recurrence relations using local invariants. In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, Stephen Watt (ed.), ISSAC '10 , pp. 303-309. 2010. ACM, New York, NY, USA, ISBN 978-1-4503-0150-3. [url] [bib]
• Yongjae Cha. Closed Form Solutions of Linear Difference Equations. Florida State University. PhD Thesis. 2010. [url] [bib]
• Christian Doench, Franz Winkler. Bivariate Difference-differential Dimension Polynomials and Their Computation in Maple. In: Proceedings of the 8th International Conference on Applied Informatics, Attila Egri-Nagy, EmÅ‘d Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (ed.), pp. 211-218. 2010. ISBN 978-963-9894-72-3. [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), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. May 2010. [pdf] [bib]
• Isabela Dramnesc and Tudor Jebelean and Adrian Craciun. A Case Study in Systematic Exploration of Tuple Theory. In: Workshop of Symbolic Computation in Software Science, Tudor Jebelean, Mohamed Mosbah, Nikolaj Popov (ed.), Proceedings of SCSS 2010 Symbolic Computation in Software Science, Hagenberg1/10-10, pp. 82-95. 29-30 July 2010. RISC-Linz Report Series, Johannes Kepler University of Linz, Austria, . [pdf] [bib]
• Isabela Dramnesc and Tudor Jebelean. Proof Based Synthesis of Sorting Algorithms. Technical report no. 10-17 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. July 2010. [pdf] [bib]
• Isabela Dramnesc and Tudor Jebelean. A Case Study in Proof Based Synthesis of Sorting Algorithms. In: Analele Universitatii de Vest, Timisoara, D.Gaspar, D.Zaharie, B.Buchberger, D.Burghelea, G.Cassier (ed.), Proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010), Matematica - Informatica XLVIII/3, pp. 47-58. 23-26 September 2010. West University of Timisoara, Romania, ISSN-1841-3293. [pdf] [bib]
• Besik Dundua, Temur Kutsia, Mircea Marin. Strategies in P$\rho$Log. Electronic Proceedings in Theoretical Computer Science, pp. 32-43. 2010. ISSN 2075-2180 . [pdf] [bib]
• Jorge Coelho, Besik Dundua, Mario Florido and Temur Kutsia. A Rule-Based Approach to XML Processing and Web Reasoning. In: Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010, Pascal Hitzler and Thomas Lukasiewicz (ed.), Lecture Notes in Computer Science 6333, pp. 164-172. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-15917-6. [url] [bib]
• Madalina Erascu, Tudor Jebelean. A Purely Logical Approach to Program Termination. In: Proceedings of the 11th International Workshop on Termination, Peter Schneider-Kamp (ed.), Proceedings of Federated Logic Conference, Edinburgh, 9-21 July, pp. ?-?. 2010. [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), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2010. [pdf] [bib]
• M. Erascu, T. Jebelean. A Purely Logical Approach to the Termination of Imperative Loops. In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. M. Watt, D. Zaharie (ed.), pp. 142-149. September 2010. IEEE Computer Society, 978-0-7695-4324-6. to appear. [pdf] [bib]
• Tamas Berczes, Gabor Guta, Gabor Kusper, Wolfgang Schreiner, Janos Sztrik. Evaluating a Probabilistic Model Checker for Modeling and Analyzing Retrial Queueing Systems . Annales Mathematicae et Informaticae, pp. -. December 2010. Liceum University Press, ISSN 1787-5021. [url] [bib]
• Gabor Guta. Finite State Transducer Modification by Examples. Technical report no. 10-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2010. [pdf] [bib]
• Gabor Guta, Andras Pataricza, Wolfgang Schreiner, Daniel Varro. Semi-Automated Correction of Model-to-Text Transformations. In: Preliminary Proceedings of International Workshop on Models and Evolution (ME 2010), - (ed.), pp. 43-52. 2010. -. [url] [bib]
• A. Constantin, E. Kartashova, E. Wahlen. Discrete wave turbulence of rotational capillary water waves. Phys. Fluids submitted, pp. 1-13. 2010. AIP, isbn. [pdf] [bib]
• E. Kartashova. Capillary freak waves in He-II as a manifestation of discrete wave turbulent regime. In: Geophysical Research Abstracts, E. Pelinovsky, C. Kharif (ed.), Proceedings of EGU 2010 (European Geosciences Union, General Assembly 2010),12, pp. 1889-1889. 2010. issn. [pdf] [bib]
• E.Kartashova, V. Lvov, S. Nazarenko, I. Procaccia. Towards a Theory of Discrete and Mesoscopic Wave Turbulence. Technical report no. 10-04 in RISC Report Series, February 2010. [pdf] [bib]
• E. Kartashova, M. Bustamante. Resonance clustering in wave turbulent regimes: Integrable dynamics. Physica A: Stat. Mech. Appl. submitted, pp. 1-31. 2010. Elsevier, ISSN: 0378-4371. [pdf] [bib]
• E. Kartashova, A. Kartashov. Turbulence of capillary waves revisited. EPL submitted, pp. 1-6. 2010. isbn. [url] [bib]
• E. Kartashova. Nonlinear Resonance Analysis. Cambridge edition, 2010. Cambridge University Press, ISBN-13: 9780521763608. [url] [bib]
• Alin Bostan, Manuel Kauers. The Complete Generating Function for Gessel Walks is Algebraic. Proceedings of the AMS 138(9), pp. 3063-3078. September 2010. ISSN 0002-9939. [pdf] [ps] [bib]
• Manuel Kauers, Veronika Pillwein. When can we detect that a P-finite sequence is positive?. In: Proceedings of ISSAC'10, Stephen Watt (ed.), pp. 195-202. 2010. 978-1-4503-0150-3. [pdf] [ps] [bib]
• Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz. Dominance in the family of Sugeno-Weber t-norms. ArXiv. Technical report no. 1007.5442, July 2010. [ps] [pdf] [bib]
• Manuel Kauers, Doron Zeilberger. The Computational Challenge of Enumerating High Dimensional Rook Paths. ArXiv. Technical report no. 1011.4671, 2010. [pdf] [ps] [bib]
• Anja Korporal, Georg Regensburger, Markus Rosenkranz. A MAPLE Package for Integro-Differential Operators and Boundary Problems. ACM Commun. Comput. Algebra 44(3), pp. 120-122. September 2010. ISSN:1932-2240. Also presented as a poster at ISSAC '10. [bib]
• Christoph Koutschan. HolonomicFunctions (User's Guide). Technical report no. 10-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. January 2010. [url] [pdf] [bib]
• Christoph Koutschan. A Fast Approach to Creative Telescoping. Mathematics in Computer Science 4(2-3), pp. 259-266. 2010. ISSN 1661-8270. [pdf] [bib]
• Christoph Koutschan. Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem. In: Gems in Experimental Mathematics, Tewodros Amdeberhan and Luis A. Medina and Victor H. Moll (ed.), Contemporary Mathematics 517, pp. 219-230. 2010. American Mathematical Society, ISSN 0271-4132. [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, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. February 2010. [pdf] [bib]
• Temur Kutsia, Jordi Levy, Mateu Villaret. On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation 45(1), pp. 74-95. 2010. ISSN 0747-7171. [pdf] [bib]
• Temur Kutsia (ed.). Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.. ISSN 0747-7171. [url] [bib]
• Temur Kutsia and Mircea Marin. Order-Sorted Unification with Regular Expression Sorts. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Christopher Lynch (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 6, pp. 193-208. 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl Publishing, ISSN 1868-8969, ISBN 978-3-939897-18-7. [url] [bib]
• Mircea Marin and Temur Kutsia. Regular Hedge Language Factorization Revisited. In: Proceedings of the 14th International Conference on Developments in language Theory, DLT 2010, Sheng Yu (ed.), Lecture Notes in Computer Science 6224 , pp. 328-339. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-14454-7. [url] [bib]
• Mircea Marin, Temur Kutsia. On the Computation of Quotients and Factors of Regular Languages. Frontiers of Computer Science in China 4(2), pp. 173-184. 2010. Springer, ISSN 1673-7350. [url] [bib]
• Maria Alpuente (ed.). Proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010. Technical report no. 10-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2010. [pdf] [bib]
• Mircea Marin, Temur Kutsia. Linear Systems for Regular Hedge Languages. In: Advances in Databases and Information Systems, Associated Workshops and Doctoral Consortium of the 13th East European Conference, ADBIS 2009. Revised Selected Papers , Janis Grundspenkis, Marite Kirikova, Yannis Manolopoulos, Leonids Novickis (ed.), Lecture Notes in Computer Science 5968, pp. 104-112. 2010. Springer, ISSN 0302-9743, ISBN 978-3-642-12081-7. [pdf] [bib]
• Johannes Middeke. Converting between the Popov and the Hermite form of matrices of differential operators using an FGLM-like algorithm. Technical report no. 10-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. 2010. [pdf] [bib]
• Johannes Middeke. Conversion between Hermite and Popov normal forms using an FGLM-like approach. Albanian Journal of Mathematics 4(4), pp. 181-193. 2010. AulonaPress, 1930-1235. Special Issue, Applications of Computer Algebra 2010, University of Vlora, Albania. [bib]
• L.X.Chau Ngo. Finding rational solutions of rational systems of autonomous ODEs. Technical report no. 10-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. February 2010. [pdf] [bib]
• Y. Huang, L. X. Chau Ngo. Rational General Solutions of High Order Non-autonomous ODEs. Technical report no. 10-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. June 2010. [pdf] [bib]
• L.X.Chau Ngo, F. Winkler . Rational general solutions of first order non-autonomous parametrizable ODEs. Journal of Symbolic Computation, MEGA'2009, 45(12), pp. 1426-1441. 2010. Research Institut for Symbolic Computation, ISSN 0747-7171. [url] [pdf] [bib]
• Y. Huang, L. X. Chau Ngo. Rational Solutions of a Rational System of Autonomous ODEs: Generalization to Trivariate Case and Problems. Technical report no. 10-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. November 2010. [pdf] [bib]
• Peter Paule, Silviu Radu. Infinite families of strange partition congruences for broken 2-diamonds . The Ramanujan Journal 23, pp. 409-416. 2010. ISSN 1382-4090. [bib]
• C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos . A Note on the Average Complexity Analysis of the Computation of Periodic and Aperiodic Ternary Complementary Pairs . DK Computational Mathematics. Technical report no. DK Report 2010-08, 2010. [pdf] [bib]
• S. Beuchler, V. Pillwein and S. Zaglmayr . Sparsity optimized high order finite element functions for H(div) on simplices . DK Computational Mathematics. Technical report no. DK Report 2010-04, 2010. [pdf] [bib]
• A. Anisimov, T. Jebelean, A. Lyaletski, N. Popov. Projects of Evidence Algorithm and Theorema. In: Theoretical and Applied Aspects of Program Systems Development, A. Anisimov, V. Redko (ed.), pp. 54-58. October 2010. Kiev, Ukraine, .. [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), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. August 2010. [pdf] [bib]
• N. Popov, T. Jebelean. Proving Partial Correctness and Termination of Mutually Recursive Programs. In: SYNASC 2010, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, and, D. Zaharie (ed.), Proceedings of Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 153-158. September 2010. IEEE , ISBN 978-0-7695-4324-6. [pdf] [bib]
• Silviu Radu. An algorithmic approach to Ramanujan's congruences and related problems. RISC Linz. PhD Thesis. 2010. [bib]
• M. Hodorog, B. Mourrain, J. Schicho. A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity. In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.), Proceedings of 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, September 23-26, Timisoara, Romania, pp. 21-28. 2010. 978-0-7695-4324-6. [pdf] [bib]
• M. Hodorog, B. Mourrain, J. Schicho. GENOM3CK - A Library for Genus Computation of Plane Complex Algebraic Curves Using Knot Theory. December 2010. Association for Computing Machinery, Special Interest Group on Symbolic and Algebraic Manipulation, ACM SIGSAM Communications in Computer Algebra, vol. 44, issue 174, pp. 198-200, ISSN:1932-2240. [pdf] [bib]
• C. Schneider. Parameterized Telescoping Proves Algebraic Independence of Sums. Ann. Comb. 14(4), pp. 533-552. 2010. ISSN 0218-0006. [pdf] [bib]
• C. Schneider. A Symbolic Summation Approach to Find Optimal Nested Sum Representations. In: Motives, Quantum Field Theory, and Pseudodifferential Operators, A. Carey, D. Ellwood, S. Paycha, S. Rosenberg (ed.), Clay Mathematics Proceedings 12, pp. 285-308. 2010. Amer. Math. Soc, ISBN-10: 0-8218-5199-3. arXiv:0808.2543. [pdf] [bib]
• C. Schneider. Structural Theorems for Symbolic Summation. Appl. Algebra Engrg. Comm. Comput. 21(1), pp. 1-32. 2010. ISSN 0938-1279. [pdf] [bib]
• Manuel Kauers, Carsten Schneider. Partial Denominator Bounds for Partial Linear Difference Equations. In: Proceedings of ISSAC'10, Stephen Watt (ed.), pp. 211-218. 2010. 978-1-4503-0150-3. [pdf] [ps] [bib]
• J. Ablinger, J. Bluemlein, S. Klein, C. Schneider. Modern Summation Methods and the Computation of 2- and 3-loop Feynman Diagrams . Nucl. Phys. B (Proc. Suppl.) 205-206, pp. 110-115. 2010. ISSN 0550-3213. arXiv::1006.4797 [math-ph], DESY-10-090, SFB-CPP-10-53, TTK-10-37. [url] [bib]
• J. Ablinger, I. Bierenbaum, J. Bluemlein, A. Hasselhuhn, S. Klein, C. Schneider, F. Wissbrock. Heavy Flavor DIS Wilson coefficients in the asymptotic regime . Nucl. Phys. B (Proc. Suppl.) 205-206, pp. 242-249. 2010. ISSN 0550-3213. arXiv::1007.0375 [hep-ph], DESY-10-093, SFB-CPP-10-58, TTK-10-38. [url] [bib]
• J. Bluemlein, S. Klein, C. Schneider, F. Stan. A symbolic summation approach to Feynman integrals. ACM SIGSAM Bulletin 44(3/4), pp. 95-96. 2010. ISSN:0163-5824 . [bib]
• Dacian Tudor, Vladimir Cretu, Wolfgang Schreiner. Shared Data Grid Programming Improvements using Specialized Objects. In: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2010), Salvatore Vitabile, Takahiro Hara, Ilsun You (ed.), pp. -. 2010. IEEE, February, 15th - 18th 2010, Andrzej Frycz Modrzewski Cracow College, Krakow, Poland, ISBN XXXXXXX. ©2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material must be obtained from the IEEE. [pdf] [bib]
• Wolfgang Schreiner. The RISC ProgramExplorer: Tutorial and Manual. Technical report no. 10-23 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. April 2010. [pdf] [bib]
• Wolfgang Schreiner. The RISC ProgramExplorer: Reasoning about Programs as State Relations (Extended Abstract) . In: SCSS 2010, Mohamed Mosbah and Tudor Jebelean (ed.), Proceedings of Symbolic Computation in Software Science, Hagenberg, Austria, July 29-30, pp. -. 2010. ISBN XXX-X-XXXXXX-XXX-X. [pdf] [bib]
• Wolfgang Schreiner. A JML Specification of the Design Pattern "Visitor". Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, September 2010. [pdf] [bib]
• Maribel Fernandez, Temur Kutsia, Wolfgang Schreiner (ed.). PPDP'10. Proceedings of the 2010 Symposium on Principles and Practice of Declarative Programming, July 2010. ACM, New York, ISBN 978-1-4503-0132-9. July 26-28, 2010, Hagenberg, Austria. [bib]
• Gergely Kovasznai. Implementing Design Patterns in AspectJ and JavaMOP. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, December 2010. [pdf] [bib]
• Wolfgang Schreiner. From Types to Contracts: Supporting by Light-Weight Specifications the Liskov Substitution Principle. Technical report no. 10-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), University of Linz, Schloss Hagenberg, 4232 Hagenberg, Austria. February 2010. [pdf] [bib]
• Ahmad Mohamed Hisham Ismail. Remotely Controlling a Mechanical Laboratory via the Internet. Internationaler Universitaetslehrgang Informatics: Engineering & Management. Diploma Thesis. Johannes Kepler University, Linz, Austria, July 2010. [pdf] [bib]
• Flavia Stan. On Recurrences for Ising Integrals. Adv. in Appl. Math. 45(3), pp. 334-345. 2010. Elsevier, ISSN 0196-8858. [pdf] [bib]
• Karen T. Kohl and Flavia Stan. An Algorithmic Approach to the Mellin Transform Method. In: Gems in Experimental Mathematics, T. Amdeberhan, L. A. Medina, V. H. Moll (ed.), Contemporary Mathematics 517, pp. 207-218. 2010. AMS, ISBN 978-0-8218-4869-2. [pdf] [bib]
• Flavia Stan. Algorithms for Special Functions: Computer Algebra and Analytical Aspects. RISC, Johannes Kepler University Linz. PhD Thesis. June 2010. RISC technical report 10-19. [pdf] [bib]
• Dietmar Kerbl. An automated induction prover for finite sets implemented in the Theorema system. RISC, Johannes Kepler University Linz. Diploma Thesis. October 2010. [pdf] [bib]

All Years >>