Personal tools
You are here: Home / Publications


File Z. Li and J. Schicho. Classification of Angle-symmetric 6R Linkages.
In Mechanism and Machine Theory, Volume 70, 372-379, December 2013.
File DK Report 2013-07, P. Gangl and U. Langer
Topology Optimization of Electric Machines based on Topological Sensitivity Analysis.
File DK Report 2013-06, M.T. Khan
On the Formal Verification of Maple Programs.
File C. Dönch. Characterization of relative Gröbner bases.
Journal of Symbolic Computation (0747-7171) vol. 55, pages 19-29 (2013).
File Z. Li and L. Zhi. Computing the nearest singular univariate polynomials with given root multiplicities.
In Theoretical Computer Science, Volume 479, 150-162, 2013.
File Z. Li and J. Schicho. Three Types of Parallel 6R Linkages.
In Computational Kinematics '13, Springer.
File 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
File 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
File DK Report 2013-05, G. Grasegger
A procedure for solving autonomous AODEs.
File 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.
File 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.
File 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.
File 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).
File DK Report 2013-04, H. Rahkooy and Z. Zafeirakopoulos
On Computing Elimination Ideals Using Resultants with Applications to Gröbner Bases.
File 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.
File 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.
File DK Report 2013-03, M. Wolfmayr and J. Kraus
On the robustness and optimality of algebraic multilevel methods for reaction-diffusion type problems
File 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).
File DK Report 2013-02, M.T. Khan
Translation of MiniMaple to Why3ML
File DK Report 2013-01, U. Langer and M. Wolfmayr
Multiharmonic Finite Element Analysis of a Time-Periodic Parabolic Optimal Control Problem