- Info
Publications
-
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.
-
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. https://doi.org/10.1007/978-3-319-78325-3
-
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.
-
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.
|
|