Personal tools
You are here: Home / Publications

Publications

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. Zafeirakopoulos. Linear Diophantine Systems: Partition Analysis and Polyhedral Geometry.
PhD Thesis, submitted 2012. Examiners: 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
File DK-Report 2012-14, G. Kiss, C. Giannelli and B. Jüttler
Algorithms and Data Structures for Truncated Hierarchical B--splines
File M. Erascu and T. Jebelean. Soundness of a Logic-Based Verification Method for Imperative Loops.
In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.), pp. 127-134. 2012. IEEE Computer Society, 978-0-7695-4934-7.
File DK-Report 2012-13, I. Georgieva, C. Hofreither and R. Uluchev
Least Squares Fitting of Harmonic Functions Based on Radon Projections
File DK-Report 2012-12, M. Kolmbauer and U. Langer
Efficient solvers for some classes of time-periodic eddy current optimal control problems
File S. Radu. A proof of Subbarao's conjecture.
In Journal fuer Reine und angewandte Mathematik, Volume 2012, Issue 672, Pages 161–175, ISSN (Online) 1435-5345, ISSN (Print) 0075-4102.
File DK-Report 2012-11, I. Georgieva and C. Hofreither
Interpolation of Harmonic Functions Based on Radon Projections
File S. Takacs. All-at-once Multigrid Methods for Optimality Systems Arising from Optimal Control Problems
PhD Thesis, submitted 2012. Examiners: Walter Zulehner, Andrew Wathen.
File C.G. Raab. Definite Integration in Differential Fields
PhD Thesis, submitted 2012. Examiners: Peter Paule, Michael F. Singer.
File M. Kolmbauer. The Multiharmonic Finite Element and Boundary Element Method for Simulation and Control of Eddy Current Problems
PhD Thesis, submitted 2012. Examiners: Ulrich Langer, Fredi Tröltzsch
File DK-Report 2012-10, S. Radu and J. Sellers
Congruences Modulo Squares of Primes for Fu's Dots Bracelet Partitions