Personal tools
You are here: Home / Publications

Publications

File DK-Report 2012-09, C. Dönch and A. Levin
Computation of the Strength of PDEs of Mathematical Physics and their Difference Approximations
File DK-Report 2012-08, S. Takacs and W. Zulehner
Convergence analysis of all-at-once multigrid methods for elliptic control problems under partial elliptic regularity
File P. Paule and S. Radu. The Andrews–Sellers family of partition congruences
In Advances in Mathematics, Volume 230, Issue 3, 20 June 2012, Pages 819–838.
File Y. Huang, L.X.C. Ngo, F. Winkler. Rational General Solutions of Higher Order Algebraic ODEs.
Journal of Systems Science and Complexity (JSSC), *26/2* 261-280, 2013. ISSN 1009-6124.
File L.X.C. Ngo, J. R. Sendra and F. Winkler. Classification of algebraic ODEs with respect to rational solvability.
Published in Contemp.Math. 572, pp.193-210 (2012)
File M.T. Khan and W. Schreiner. On Formal Specification of Maple Programs.
Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 443-447. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8.
File M.T. Khan and W. Schreiner. Towards the Formal Specification and Verification of Maple Programs.
Intelligent Computer Mathematics, Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7362, pp. 231-247. July 2012. Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-31373-8.
File DK-Report 2012-07, M. Borges-Quintana, M.A. Borges-Trenard, I. Marquez-Corbella and E. Martinez-Moro
Computing coset leaders and leader codewords of binary codes
File DK-Report 2012-06, M.T. Khan
Formal Semantics of a Specification Language for MiniMaple
File DK-Report 2012-05, I. Georgieva and C. Hofreither
Tomographic Reconstruction of Harmonic Functions
File DK-Report 2012-04, V. Pillwein and S. Takacs
A local Fourier convergence analysis of a multigrid method using symbolic computation
File DK Report 2012-03, W. Krendl, V. Simoncini and W. Zulehner
Stability Estimates and Structural Spectral Properties of Saddle Point Problems
File DK-Report 2012-02, M. Kollmann and W. Zulehner
A Robust Preconditioner for Distributed Optimal Control for Stokes Flow with Control Constraints
File DK-Report 2012-01, M.T. Khan
Formal Semantics of MiniMaple
File Gangl, P. & Langer, U. Topology optimization of electric machines based on topological sensitivity analysis.
In Comput. Visual Sci. (2012) 15(6): pp. 345-354. Final publication available at http://link.springer.com/article/10.1007%2Fs00791-014-0219-6.
File DK-Report 2011-15, C. Hofreither, U. Langer and C. Pechstein
A Non-Standard Finite Element Method based on Boundary Integral Operators
File S. Radu and J. Sellers. Congruence Properties Modulo 5 and 7 for the pod Function.
In International Journal of Number Theory, December 2011, Volume 07, Number 08 : pp. 2249-2259.
File C. Hofreither. L_2 Error Estimates for a Nonstandard Finite Element Method on Polyhedral Meshes.
J. Numer. Math., 19(1): 27-39, 2011.
File M. Hodorog. Symbolic-Numeric Algorithms for Plane Algebraic Curves.
PhD Thesis, submitted 2011. Examinors: Josef Schicho, Bernard Mourrain.
File M. Hodorog. Symbolic-Numeric Algorithms for Plane Algebraic Curves.
PhD Thesis, submitted 2011. Examinors: Josef Schicho, Bernard Mourrain.