Personal tools
You are here: Home / Publications


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
File 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
File 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.
File Z. Zafeirakiopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry.
PhD Thesis, submitted 2012. Examinors: Peter Paule, Matthias Beck.
File 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.
File 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
File C. Hofreither. A Non-standard Finite Element Method using Boundary Integral Operators.
PhD Thesis, submitted 2012. Examinors: Ulrich Langer, Sergej Rjasanow.
File DK-Report 2012-15, I.R. Bleyer and R. Ramlau
A Double Regularization Approach for Inverse Problems with Noisy Data and Inexact Operator