# Publications

- C.-S. Radu. An Algorithm to Prove Algebraic Relations Involving Eta Quotients
- to appear in Annals of Combinatorics
- DK-Report 2016-03, C. Hofer
- Analysis of discontinuous Galerkin Dual-Primal Isogeometric Tearing and Interconnecting Methods
- DK-Report 2016-02, C. Hofer
- Parallelization of Continuous and Discontinuous Galerkin Dual-Primal Isogeometric Tearing and Interconnecting Methods
- DK-Report 2016-01, P. Gangl and U. Langer
- A Local Mesh Modification Strategy for Interface Problems with Application to Shape and Topology Optimization
- C. Hofer and U. Langer. Dual-Primal Isogeometric Tearing and Interconnecting Solvers for Multipatch Continuous and Discontinuous Galerkin IgA Equations.
- In PAMM, Volume 16, No. 1, pages 747-748, 2016.
- S. Chen, M. Kauers and C. Koutschan. Reduction-Based Creative Telescoping for Algebraic Functions.
- In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pages 175--182, 2016.
- C. Hofreither, B. Jüttler, G. Kiss and W. Zulehner. Multigrid Methods for Isogeometric Analysis with THB-Splines.
- in Comp. Meth. Appl. Mech. Engrg, 308 (2016), pp. 96-112. DOI: 10.1016/j.cma.2016.05.005, MR3522271.
- P. Paule and C.-S. Radu. A New Witness Identity for $11|p(11n+6)$.
- status submitted.
- C. Hofer and U. Langer. Dual-Primal Isogeometric Tearing and Interconnecting Methods.
- To appear in Contributions to PDE for Applications, Eds. P. Neittanmakki and J. Periaux and O. Pironneau, Springer-ECCOMAS series ''Computational Methods in Applied Sciences'', 2018.
- 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.
- 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.