# Publications

- 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.
- 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.
- 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.
- 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
- 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.
- 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/j.cam.2016.04.014, MR3505893, Zbl 06587001.
- 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]
- 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 http://dx.doi.org/10.1007/978-3-319-42432-3_8.
- 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.
- 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.
- 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.
- Zijia Li. Sharp Linkages.
- In Advances in Robot Kinematics, Editors Jadran Lenarčič and Oussama Khatib of Springer International Publishing, pages 131-138, 2014.
- 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.
- 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.
- 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: http://www.koutschan.de/data/rank1rice/
- 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: http://www.koutschan.de/data/maxeig/
- 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: http://www.koutschan.de/data/fcc1/