Personal tools
You are here: Home / Publications

Publications

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
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. Examinors: 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
File Q. Liao, L. Ye. Lower Bounds and Constructions for q-ary Codes Correcting Asymmetric Errors.
Advances in Mathematics(China), 42(6): 795-800, 2013.
File M. A. Barkatou, C. G. Raab. Solving Linear Ordinary Differential Systems in Hyperexponential Extensions.
In: Proceedings of ISSAC 2012, Joris van der Hoeven and Mark van Hoeij (ed.), Proceedings of 37th International Symposium on Symbolic and Algebraic Computation, ISSAC 2012, pp. 51-58. 2012. ISBN 978-1-4503-1269.
File M. Kollmann, M. Kolmbauer, U. Langer, M. Wolfmayr, W. Zulehner. A Robust Finite Element Solver for a Multiharmonic Parabolic Optimal Control Problem.
Computers & Mathematics with Applications. DOI: 10.1016/j.camwa.2012.06.012, 2012.
File DK-Report 2012-09, C. Dönch and A. Levin
Computation of the Strength of PDEs of Mathematical Physics and their Difference Approximations