Personal tools
You are here: Home / Publications


File H. Huang. New bounds for hypergeometric creative telescoping.
In ISSAC 2016—Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation, pages 279–286. ACM, New York, 2016.
File C. Hofer and I. Toulopoulos. Discontinuous Galerkin Isogeometric Analysis of Elliptic Problems on Segmentations with Non-Matching Interfaces.
In Computers & Mathematics with Applications, Volume 72, Issue 7, October 2016, Pages 1811–1827.
File M. Ableidinger, E. Buckwar and A. Thalhammer. An Importance Sampling Technique in Monte Carlo Methods for SDEs with a.s. Stable and Mean-Square Unstable Equilibrium
In Journal of Computational and Applied Mathematics, 2016.
B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky and W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics
In Journal of Formalized Reasoning, volume 9, number 1, pages 149-185, 2016.
File A. Maletzky. Mathematical Theory Exploration in Theorema: Reduction Rings
In Intelligent Computer Mathematics (Proceedings of CICM 2016, Bialystok, Poland, July 25-29), volume LNCS 9791, pages 3-17, 2016
File T. Wick and B. Endtmayer. A Partition-of-Unity Dual-Weighted Residual Approach for Multi-Objective Goal Functional Error Estimation Applied to Elliptic Problems
NUMA-Report, 2016.
File U. Zore, B. Jüttler and J. Kosinka: On the Linear Independence of Truncated Hierarchical Generating Systems.
In J. Comput. Appl. Math., 306, (2016), pp. 200-216. DOI: 10.1016/, MR3505893, Zbl 06587001.
File A. Maletzky. Verifying Buchberger's Algorithm in Reduction Rings
In Proceedings of the 4th International Seminar on Program Verification, Automated Debugging, and Symbolic Computation (PAS'2015, Beijing, China, October 21-23). arXiv:1604.08736 [cs.SC]
File A. Maletzky. Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
In G.M. Greuel, P. Paule, A. Sommese (eds.), Mathematical Software - ICMS 2016. Pages 59-66 of LNCS 9725, Springer-Verlag, 2016. The final publication is available at Springer via
File Gábor Hegedüs, Zijia Li, Josef Schicho and Hans-Peter Schröcker. The theory of bonds II: Closed 6R linkages with maximal genus.
In Journal of Symbolic Computation, Volume 68, pages 167-180, 2015.
File Zijia Li and Josef Schicho. A technique for deriving equational conditions on the Denavit–Hartenberg parameters of 6R linkages that are necessary for movability.
In Mechanism and Machine Theory, Volume 94, pages 1-8, 2015.
File Hamid Ahmadinezhad, Zijia Li and Josef Schicho. An algebraic study of linkages with helical joints.
In Journal of Pure and Applied Algebra, Volume 219, pages 2245–2259, 2015.
File Zijia Li. Sharp Linkages.
In Advances in Robot Kinematics, Editors Jadran Lenarčič and Oussama Khatib of Springer International Publishing, pages 131-138, 2014.
File Zijia Li, Josef Schicho and Hans-Peter Schröcker. Spatial Straight Line Linkages by Factorization of Motion Polynomials
In Journal of Mechanisms and Robotics, Volume 8, 2016.
B. Buchberger, T. Jebelean, T. Kutsia, A. Maletzky and W. Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics
In Journal of Formalized Reasoning, Volume 9, Number 1, page 149-185, 2016.
File Roland Wagner, Tapio Helin, Andreas Obereder, and Ronny Ramlau. Efficient reconstruction method for ground layer adaptive optics with mixed natural and laser guide stars.
In Applied Optics, 55(6):1421–1429, February 2016.
G. Grasegger, A. Lastra, J. R. Sendra and F. Winkler. A Solution Method for Autonomous First-Order Algebraic Partial Differential Equations
In Journal of Computational and Applied Mathematics, volume 300, pages 119-133, 2016.
File C. Siriteanu, A. Takemura, C. Koutschan, S. Kuriki, D. St. P. Richards and H. Shin Exact ZF Analysis and Computer-Algebra-Aided Evaluation in Rank-1 LoS Rician Fading.
In IEEE Transactions on Wireless Communications, volume 15, no. 8, pages 5245-5259, 2016. Further info:
File C. Koutschan, M. Neumüller, C.-S. Radu. Inverse Inequality Estimates with Symbolic Computation.
In Advances in Applied Mathematics, volume 80, pages 1-23, 2016. Further info at:
File S. Hassani, C. Koutschan, J.-M. Maillard and N. Zenine. Lattice Green functions: the d-dimensional face-centred cubic lattice, d = 8, 9, 10, 11, 12.
In Journal of Physics A: Mathematical and Theoretical 49(16), 164003, 2016. Further info: