- Info
Publications
-
Q. Liao, L. Ye. Lower Bounds and Constructions for q-ary Codes Correcting Asymmetric Errors.
-
Advances in Mathematics(China), 42(6): 795-800, 2013.
-
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.
-
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.
-
DK-Report 2012-09, C. Dönch and A. Levin
-
Computation of the Strength of PDEs of Mathematical Physics and their Difference Approximations
-
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
-
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.
-
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.
-
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)
-
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.
-
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.
-
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
-
DK-Report 2012-06, M.T. Khan
-
Formal Semantics of a Specification Language for MiniMaple
-
DK-Report 2012-05, I. Georgieva and C. Hofreither
-
Tomographic Reconstruction of Harmonic Functions
-
DK-Report 2012-04, V. Pillwein and S. Takacs
-
A local Fourier convergence analysis of a multigrid method using symbolic computation
-
DK Report 2012-03, W. Krendl, V. Simoncini and W. Zulehner
-
Stability Estimates and Structural Spectral Properties of Saddle Point Problems
-
DK-Report 2012-02, M. Kollmann and W. Zulehner
-
A Robust Preconditioner for Distributed Optimal Control for Stokes Flow with Control Constraints
-
DK-Report 2012-01, M.T. Khan
-
Formal Semantics of MiniMaple
-
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.
-
DK-Report 2011-15, C. Hofreither, U. Langer and C. Pechstein
-
A Non-Standard Finite Element Method based on Boundary Integral Operators
-
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.
|
|