# Publications

- 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 http://dx.doi.org/10.1007/978-3-319-24021-3_23
- G. Kiss. Theory and algorithms for truncated hierarchical B-splines.
- PhD Thesis, submitted 2015. Examiners: Prof. Jüttler, Prof. Hahmann.
- M. Wiesinger-Widi. Gröbner bases and generalized Sylvester matrices.
- PhD Thesis, submitted 2015. Examiners: Prof. Buchberger, Prof. Mayr.
- G. Grasegger. Symbolic Solutions of First-Order Algebraic Equations
- PhD Thesis, submitted 2015. Examiners: Prof. Franz Winkler, Prof. Rafael Sendra.
- 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.
- 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.
- 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
- 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.
- 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
- 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: http://www.koutschan.de/data/meanfield/
- 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.
- 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
- DK Report 2014-12, D. Gerth, B. N. Hahn and R. Ramlau
- The method of the approximate inverse for atmospheric tomography
- S. Radu. An Algorithmic Approach to Ramanujan-Kolberg Identities
- To appear in Journal of Symbolic Computation
- 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.
- 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
- 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