Personal tools
You are here: Home / Publications

Publications

File M. Hodorog and B. Mourrain and J. Schicho. An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curve Singularities.
In B. Murgante et al., editor. Proceedings of the 11th International Conference on Computational Science and Its Applications, Part III, Session: Computational Geometry and Applications, Lecture Notes in Computer Science, pp. 121-131. Springer, Heidelberg, 2011.
File M. Hodorog and J. Schicho. A Regularization Method for Computing Approximate Invariants of Plane Curves Singularities.
In Proceedings of the 4th International Workshop on Symbolic-Numeric Computation, pp. ?-?. To appear. ACM (Association for Computing Machinery), 2011.
File H. Rahkooy and Z. Zafeirakopoulos. Using Resultants for Inductive Groebner Bases Computation.
In ACM Communications in Computer Algebra 45(2), pp. ?-?. 2011. ISSAC 2011 accepted poster.
P. Gruber: Fast Solvers and Adaptive Hight-Order FEM in Elastoplasticity
PhD thesis, submitted 2011. Examiners: Prof. Langer, Prof. Düster.
File L.X.C. Ngo and F. Winkler. Rational general solutions of parametrizable AODEs.
Publ. Math. Debrecen (2011). 79/3-4, pp 573–587. DOI: 10.5486/PMD.2011.5121
File M. Kolmbauer and U. Langer. A Robust FEM-BEM Solver for Time-Harmonic Eddy Current Problems.
accepted for publication in DD20 proceedings
File DK Report 2011-05, M.T. Khan
A Type Checker for MiniMaple
File DK Report 2011-04, S. K. Kleiss, B. Jüttler and W. Zulehner
Enhancing Isogeometric Analysis by a Finite Element-Based Local Refinement Strategy
File V. Pillwein and S. Takacs. Smoothing analysis of an all-at-once multigrid approach for optimal control problems using symbolic computation.
In U. Langer and P. Paule, editors. Numerical and Symbolic Scientific Computing: Progress and Prospects. Springer Wien, 2011.
File M. Hodorog and J. Schicho. A symbolic-numeric algorithm for genus computation.
In U. Langer and P. Paule, editors, Numerical and Symbolic Scientifi c Computing: Progress and Prospects. Springer Wien, 2011.
S. Takacs and W. Zulehner. Convergence analysis of multigrid methods with collective point smoothers for optimal control problems.
Computing and Visualization in Science 14(3), pp. 131-141. 2011.
File DK Report 2011-03, C.G. Raab
Using Gröbner Bases for Finding the Logarithmic Part of the Integral of Transcendental Functions
File M. Hodorog, B. Mourrain, and J. Schicho. A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity.
In D. Petcu, V. Negru, D. Zaharie, and T. Jebelean, editors, Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientifi c Computing-Timisoara, Romania, pages 21-28, 2010. IEEE Computer Society Conference Publishing Services.
File DK Report 2011-02, L.X.C. Ngo
Finding rational solutions of rational systems of autonomous ODEs
File DK Report 2011-01, S. Takacs and W. Zulehner
Convergence Analysis of Multigrid Methods with Collective Point Smoothers for Optimal Control Problems
File DK Report 2010-15, C. Aistleitner
Relations between Gröbner bases, differential Gröbner bases, and differential characteristic sets
File C. Hofreither, U. Langer, and C. Pechstein. Analysis of a non-standard fi nite element method based on boundary integral operators.
Electronic Transactions on Numerical Analysis, 37:413-436, 2010.
File DK Report 2010-14, I. Georgieva, C. Hofreither and R. Uluchev
Interpolation in the unit disk based on Radon projections and function values
File DK Report 2010-13, C. Hofreither
L2 Error Estimates for a Nonstandard Finite Element Method on Polyhedral Meshes
File M. Hodorog, B. Mourrain, and J. Schicho. GENOM3CK - A library for genus computation of plane complex algebraic curves using knot theory.
In ACM SIGSAM Communications in Computer Algebra, Software Presentations at the 35th International Symposium on Symbolic and Algebraic Computation - Munich, Germany, 2010, volume 44, pages 198-200. Association for Computing Machinery, Special Interest Group on Symbolic and Algebraic Manipulation, 2010.