Personal tools
You are here: Home / Publications


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.
File DK Report 2010-12, S. Béla and B. Jüttler
Approximating Algebraic Space Curves by Circular Arcs
File DK Report 2010-11, Y. Huang and L.X.C. Ngo
Rational Solutions of a Rational System of Autonomous ODEs: Generalization to Trivariate Case and Problems
File S. Takacs and W. Zulehner. Multigrid methods for elliptic optimal control problems with neumann boundary control.
In G. Kreiss, P. Lötstedt, A. Malqvist, and M. Neytcheva, editors, Numerical Mathematics and Advanced Applications 2009, pages 855-863. Springer Berlin Heidelberg, 2010.
File DK Report 2010-10, T. Takacs and B. Jüttler
Existence of Stiffness Matrix Integrals for Singularly Parameterized Domains in Isogeometric Analysis
File P. Paule and S. Radu. Infinite Families of Strange Partition Congruences for Broken 2-Diamonds
In Ramanujan Journal 23, pp. 409-416. 2010. ISSN 1382-4090
File M. Erascu and T. Jebelean. A Purely Logical Approach to the Termination of Imperative Loops.
In: Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, T. Ida, V. Negru, T. Jebelean, D. Petcu, S. M. Watt, D. Zaharie (ed.), pp. 142-149. September 2010. IEEE Computer Society, 978-0-7695-4324-6.
File DK Report 2010-09, V. Pillwein and S. Takacs
Computing smoothing rates of collective point smoothers for optimal control problems using symbolic computation
File DK Report 2010-08, C. Koukouvinos, V. Pillwein, D.E. Simos, Z. Zafeirakopoulos
A Note on the Average Complexity Analysis of the Computation of Periodic and Aperiodic Ternary Complementary Pairs
File DK Report 2010-07, M. Hodorog and J. Schicho
Computational geometry and combinatorial algorithms for the genus computation problem
File DK Report 2010-06, M. Hodorog and J. Schicho
A symbolic-numeric algorithm for genus computation
File DK Report 2010-05, C. Hofreither, U. Langer and C. Pechstein
Analysis of a non-standard finite element method based on boundary integral operators
File DK Report 2010-04, S. Beuchler, V. Pillwein and S. Zaglmayr
Sparsity optimized high order finite element functions for H(div) on simplices
File M. Erascu and T. Jebelean. A Purely Logical Approach to Program Termination.
In: Proceedings of the 11th International Workshop on Termination, Peter Schneider-Kamp (ed.), Proceedings of Federated Logic Conference, Edinburgh, 9-21 July, 2010
L.X.C. Ngo and F. Winkler. Rational general solutions of first order non-autonomous parametrizable ODEs.
J. Symbolic Computation, 45/12:1426-1441, 2010.
C. Hofreither, U. Langer and S. Tomar. Boundary element simulation of linear water waves in a model basin.
In I. Lirkov, S. Margenov, and J. Wasniewski, editors, Large-Scale Scientific Computing: Proceedings of LSSC 2009, volume 5910 of Lecture Notes in Computer Science, pages132-139. Springer Verlag, 2010.