# Publications

- Z. Li and J. Schicho. Classification of Angle-symmetric 6R Linkages.
- In Mechanism and Machine Theory, Volume 70, 372-379, December 2013.
- DK Report 2013-07, P. Gangl and U. Langer
- Topology Optimization of Electric Machines based on Topological Sensitivity Analysis.
- DK Report 2013-06, M.T. Khan
- On the Formal Verification of Maple Programs.
- C. Dönch. Characterization of relative Gröbner bases.
- Journal of Symbolic Computation (0747-7171) vol. 55, pages 19-29 (2013).
- Z. Li and L. Zhi. Computing the nearest singular univariate polynomials with given root multiplicities.
- In Theoretical Computer Science, Volume 479, 150-162, 2013.
- Z. Li and J. Schicho. Three Types of Parallel 6R Linkages.
- In Computational Kinematics '13, Springer.
- D. Gerth, B. Hofmann, S. Birkholz, S. Koke, G. Steinmeyer. Regularization of an autoconvolution problem in ultrashort laser pulse characterization.
- Inverse Problems in Science and Engineering, 2013, Article is published online http://www.tandfonline.com/doi/full/10.1080/17415977.2013.769535
- G. Grasegger, G. Horváth and K.A. Kearnes. Polynomial Equivalence of Finite Rings.
- Journal of the Australian Mathematical Society, volume 96, issue 02, pp. 244-257, 2014, doi:10.1017/S1446788713000645
- DK Report 2013-05, G. Grasegger
- A procedure for solving autonomous AODEs.
- M.T. Khan and W. Schreiner, A Verification Framework for MiniMaple Programs.
- ACM Communications in Computer Algebra, 47(3), ?-?, 2013, Accepted extended abstract from ISSAC 2013 poster presentation.
- S. Radu and J. Sellers. Congruences Modulo Squares of Primes for Fu's k Dots Bracelet Partitions.
- In International Journal of Number Theory, June 2013, Volume 09, Number 04 : pp. 939-943.
- M. Erascu and H. Hong. The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation.
- In Journal of Reliable Computing 18, pp. 73-81. 2013. 1573-1340.
- Iu. Shatokhina, A. Obereder, M. Rosensteiner, R. Ramlau. Preprocessed cumulative reconstructor with domain decomposition: a fast wavefront reconstruction method for pyramid wavefront sensor.
- Published in Journal of Applied Optics, 52(12), 2640–2652 (2013).
- DK Report 2013-04, H. Rahkooy and Z. Zafeirakopoulos
- On Computing Elimination Ideals Using Resultants with Applications to Gröbner Bases.
- M. Kollmann. Efficient Iterative Solvers for Saddle Point Systems arising in PDE-constrained Optimization Problems with Inequality Constraints.
- PhD Thesis, submitted 2013. Examiners: Prof. Walter Zulehner, Prof. Roland Herzog.
- S. Radu and J. Sellers. Infinitely Many Congruences for Broken 2-Diamond Partitions Modulo 3.
- In Journal of Combinatorics and Number Theory, Volume 4, Number 3 (2013), pp. 195–200.
- DK Report 2013-03, M. Wolfmayr and J. Kraus
- On the robustness and optimality of algebraic multilevel methods for reaction-diffusion type problems
- S. Radu. Proof of a conjecture by Ahlgren and Ono on the non-existence of certain partition congruences.
- In Transactions of the AMS, ISSN 1088-6850(online) ISSN 0002-9947(print).
- DK Report 2013-02, M.T. Khan
- Translation of MiniMaple to Why3ML
- DK Report 2013-01, U. Langer and M. Wolfmayr
- Multiharmonic Finite Element Analysis of a Time-Periodic Parabolic Optimal Control Problem