Personal tools
You are here: Home / Publications


File P. Paule and C.-S. Radu. A New Witness Identity for $11|p(11n+6)$.
status submitted.
File C. Hofer and U. Langer. Dual-Primal Isogeometric Tearing and Interconnecting Methods.
In: B. N. Chetverushkin, W. Fitzgibbon, Y.A. Kuznetsov, P. Neittanmakki, J. Periaux, and O. Pironneau, editors, Contributions to Partial Differential Equations and Applications, Springer-ECCOMAS series ”Computational Methods in Applied Sciences”, v. 47, pp. 273-296, Springer International Publishing, Cham, Switzerland, 2019.
File B. Jüttler, D. Mokriš, U. Zore: Completeness of Generating Systems for Quadratic Splines on Adaptively Refined Criss-Cross Triangulations.
In Comp. Aided Geom. Design, 45 (2016), 91-107, DOI:10.1016/j.cagd.2016.03.005, MR3510458.
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.