Personal tools
You are here: Home / Publications


File DK-Report 2016-02, C. Hofer
Parallelization of Continuous and Discontinuous Galerkin Dual-Primal Isogeometric Tearing and Interconnecting Methods
File DK-Report 2016-01, P. Gangl and U. Langer
A Local Mesh Modification Strategy for Interface Problems with Application to Shape and Topology Optimization
File 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.
File 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.
File 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.
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.
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.
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.