Personal tools
You are here: Home / Publications


File A. Maletzky. Automated Reasoning in Reduction Rings using the Theorema System.
Computer Algebra in Scientific Computing (Proceedings of CASC 2015, September 14-18, Aachen, Germany). Vol. 9301 of Lecture Notes in Computer Science, pp. 305-319, Springer-Verlag, 2015. The final publication is available at Springer via
File G. Kiss. Theory and algorithms for truncated hierarchical B-splines.
PhD Thesis, submitted 2015. Examiners: Prof. Jüttler, Prof. Hahmann.
File M. Wiesinger-Widi. Gröbner bases and generalized Sylvester matrices.
PhD Thesis, submitted 2015. Examiners: Prof. Buchberger, Prof. Mayr.
File G. Grasegger. Symbolic Solutions of First-Order Algebraic Equations
PhD Thesis, submitted 2015. Examiners: Prof. Franz Winkler, Prof. Rafael Sendra.
File DK Report 2015-03, C. Fürst and G. Landsmann
Computation of Dimension in Filtered Free Modules by Gröbner Reduction
D. Gerth, E. Klann, L. Reichel and R. Ramlau. On Fractional Tikhonov Regularization.
In Journal of Inverse and Ill-Posed Problems, 23, pages 611-625, 2015.
I. Bleyer and R. Ramlau. An Alternating Iterative Minimisation Algorithm for the Double-Regularised Total Least Square Functional.
in Inverse Problems, 2015.
File M. Kauers and C. Koutschan. Integral D-Finite Functions.
In Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pages 251--258, 2015.
File DK Report 2015-02, P. Gangl, U. Langer, A. Laurain, H. Meftahi and K. Sturm
Shape optimization of an electric motor subject to nonlinear magnetostatics
File C. Koutschan, E. Suazo and S. K. Suslov. Fundamental laser modes in paraxial optics: from computer algebra and simulations to experimental observation.
In Applied Physics B: Lasers and Optics 121(3), pp. 315–336, 2015.
File DK Report 2015-01, G. Grasegger, A. Lastra, J. R. Sendra and F. Winkler
A solution method for autonomous first-order algebraic partial differential equations in several variables
File C. Koutschan, H. Ranetbauer, G. Regensburger and M.-T. Wolfram. Symbolic derivation of mean-field PDEs from lattice-based models.
In Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 27–33, 2015. Further info:
File C. Siriteanu, A. Takemura, S. Kuriki, H. Shin and C. Koutschan. MIMO zero-forcing performance evaluation using the holonomic gradient method.
In IEEE Transactions on Wireless Communications 14(4), pp. 2322–2335, 2015.
File M. Gallet, G. Nawratil and J. Schicho. Möbius Photogrammetry
In Journal of Geometry, 2014, pages 1-19, DOI 10.1007/s00022-014-0255-x
File DK Report 2014-12, D. Gerth, B. N. Hahn and R. Ramlau
The method of the approximate inverse for atmospheric tomography
File S. Radu. An Algorithmic Approach to Ramanujan-Kolberg Identities
To appear in Journal of Symbolic Computation
File DK Report 2014-11, C. Fürst and G. Landsmann
The Concept of Gröbner Reduction for Dimension in Filtered Free Modules
D. Gerth and R. Ramlau. A Stochastic Convergence Analysis for Tikhonov Regularization with Sparsity Constraints.
In Inverse Problems, 30, 2014.
File A. Lastra, J. R. Sendra, L. X. C. Ngo and F. Winkler. Rational General Solutions of Systems of Autonomous Ordinary Differential Equations of Algebro-Geometric Dimension One
to appear in Publ. Math. Debrecen
File G. Grasegger, A. Lastra, J.R. Sendra and F. Winkler. On Symbolic Solutions of Algebraic Partial Differential Equations
in Lectures Notes in Computer Science 8660, Computer Algebra in Scientific Computing, V.P. Gerdt et al. (eds.), pp. 111-120, 2014