# Publications

- 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
- Y. Huang, L.X.C. Ngo and F. Winkler. Rational General Solutions of Trivariate Rational Differential Systems.
- Published in Mathematics in Computer Science (2012) 6:361–374, pp 345-498
- S. Gerhold, M. Kauers, C. Koutschan, P. Paule, C. Schneider and B. Zimmermann. Computer-assisted proofs of some identities for Bessel functions of fractional order.
- In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Carsten Schneider, Johannes Blümlein (editors), Texts & Monographs in Symbolic Computation, pp. 75–96, 2013.
- Z. Zafeirakiopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry.
- PhD Thesis, submitted 2012. Examinors: Peter Paule, Matthias Beck.
- M. Kolmbauer and U. Langer. A frequency-robust solver for the time-harmonic eddy current problem.
- In Scientific Computing in Electrical Engineering SCEE 2010 of Mathematics in Industry. Springer 2012, pp 97--105.
- M.T. Khan, On the Formal Semantics of MiniMaple and its Specification Language
- In: Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT), 2012, pp. 169-174, IEEE Computer Society. DOI 10.1109/FIT.2012.38
- C. Hofreither. A Non-standard Finite Element Method using Boundary Integral Operators.
- PhD Thesis, submitted 2012. Examinors: Ulrich Langer, Sergej Rjasanow.
- DK-Report 2012-15, I.R. Bleyer and R. Ramlau
- A Double Regularization Approach for Inverse Problems with Noisy Data and Inexact Operator