SpezialForschungsBereich SFB F013: Technical Reports

Technical Reports of the SFB F013
''Numerical and Symbolic Scientific Computing''

2008

2008-1: Kauers, M.: Integration of Algebraic Functions: A Simple Heuristic for Finding the Logarithmic Part January, 2008. Eds.: P. Paule, J. Schicho ps-file pdf-file
2008-2: Rosenkranz, M., Regensburger, G.: Integro-Differential Polynomials and Operators February, 2008. Eds.: B. Buchberger, H.W. Engl ps-file pdf-file
2008-3: Stan, F.: Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals February, 2008. Eds.: P. Paule, U. Langer ps-file pdf-file
2008-4: Bierenbaum, I., Blümlein, J., Klein, S., Schneider, C.: Two-Loop Massive Operator Matrix Elements for Unpolarized Heavy Flavor Production to $O\!(\epsilon)$ March, 2008. Eds.: P. Paule, F. Winkler ps-file pdf-file
2008-5: Koutschan, C., Levandovskyy, V.: Computing one of Victor Moll's irresistible integrals with computer algebra April, 2008. Eds.: P. Paule, J. Schicho ps-file pdf-file
2008-6: Kauers, M.: Fast Solvers for Dense Linear Systems May, 2008. Eds.: P. Paule, F. Winkler ps-file pdf-file
2008-7: Valdman, J.: Effective Minimization of Functional Majorant in A Posteriori Error Analysis June, 2008. Eds.: U. Langer, J. Schöberl ps-file pdf-file
2008-8: Kauers, M., Koutschan, C., Zeilberger, D.: Proof of Ira Gessel's Lattice Path Conjecture July, 2008. Eds.: P. Paule, J. Schicho ps-file pdf-file
2008-9: Radu, S.: An Algorithmic Approach to Ramanujan Congruences July, 2008. Eds.: P. Paule, F. Winkler ps-file pdf-file
2008-10: Moore, B., Vajda, R.: Some experiments using quantifier elimination to prove the non-existence of dynamically balanced spherical linkages September, 2008. Eds.: B. Jüttler, J. Schicho ps-file pdf-file

2007

2007-1: Simon, R., Zulehner, W.: On Schwarz-type Smoothers for Saddle Point Problems with Applications to PDE-Constrained Optimization Problems January, 2007. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2007-2: Kauers, M., Schneider, C.: Symbolic Summation with Radical Expressions January, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-3: Hofinger, A., Pikkarainen, H.K.: Convergence rates for linear inverse problems in the presence of an additive normal noise January, 2007. Eds.: H.W. Engl, J. Schicho ps-file pdf-file
2007-4: Almegaard, H., Bagger, A., Jüttler, B., Šír, Z.: Surfaces with Piecewise Linear Support Functions over Spherical Triangulations March, 2007. Eds.: J. Schicho, P. Paule ps-file pdf-file
2007-5: Regensburger, G.: Applications of filter coefficients and wavelets parametrized by moments March, 2007. Eds.: J. Schicho, P. Paule ps-file pdf-file
2007-6: Gruber, P.G., Valdman, J.: Newton-Like Solver for Elastoplastic Problems with Hardening and its Local Super-Linear Convergence March, 2007. Eds.: U. Langer, J. Schöberl ps-file pdf-file
2007-7: Kauers, M.: Computer Algebra and Special Function Inequalities March, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-8: Rosenkranz, M., Regensburger, G.: Solving and Factoring Boundary Problems for Linear Ordinary Differential Equations in Differential Algebras May, 2007. Eds.: B. Buchberger, H.W. Engl ps-file pdf-file
2007-9: Regensburger, G., Rosenkranz, M.: An Algebraic Foundation for Factoring Linear Boundary Problems May, 2007. Eds.: B. Buchberger, H.W. Engl ps-file pdf-file
2007-10: Langer, U., Zulehner, W., Yang, H., Baumgartner, M.: A Robust PDE Solver for the 3D Stokes/Navier-Stokes System on the Grid Environment June, 2007. Eds.: B. Jüttler, E. Lindner ps-file pdf-file
2007-11: Kauers, M.: Summation Algorithms for Stirling Number Identities June, 2007. Eds.: P. Paule, J. Schicho ps-file pdf-file
2007-12: Kapl, M., Jüttler, B.: Multiresolution Analysis for Implicitly Defined Algebraic Spline Curves with Weighted Wavelets June, 2007. Eds.: J. Schicho, E. Lindner ps-file pdf-file
2007-13: Kapl, M., Jüttler, B.: Weighted Biorthogonal Spline Wavelets June, 2007. Eds.: J. Schicho, E. Lindner ps-file pdf-file
2007-14: Moore, B., Schicho, J., Gosselin, C.: Determination of the complete set of statically balanced planar four-bar mechanisms July, 2007. Eds.: B. Jüttler, P. Paule ps-file pdf-file
2007-15: Pechstein, C.: Analysis of dual and dual-primal tearing and interconnecting methods in unbounded domains August, 2007. Eds.: U. Langer, B. Jüttler ps-file pdf-file
2007-16: Kauers, M., Koutschan, C.: A Mathematica Package for -Holonomic Sequences and Power Series August, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-17: Elleithy, W.: Elasto-Plastic Analysis with an Adaptive FEM-BEM Coupling Method August, 2007. Eds.: U. Langer, E. Lindner ps-file pdf-file
2007-18: Barton, M., Jüttler, B.: Computing Roots of Systems of Polynomials by Linear Clipping August, 2007. Eds.: P. Paule, U. Langer ps-file pdf-file
2007-19: Bierenbaum I., Blümlein J., Klein S., Schneider C.: Difference Equations in Massive Higher Order Calculations August, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-20: Hauser, H., Koutschan, C.: Linear Recurrences and Power Series Division August, 2007. Eds.: P. Paule, B. Buchberger ps-file pdf-file
2007-21: Kauers, M., Zeilberger, D.: Experiments with a Positivity Preserving Operator August, 2007. Eds.: P. Paule, J. Schicho ps-file pdf-file
2007-22: Moch, S., Schneider, C.: Feynman integrals and difference equations September, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-23: Kauers, M., Schneider, C.: Automated Proofs for Some Stirling Number Identities September, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-24: Schneider, C.: A Refined Difference Field Theory for Symbolic Summation September, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-25: Beuchler, S.: Wavelet solvers for -FEM discretizations in 3D using hexahedral elements October, 2007. Eds.: U. Langer, E. Lindner ps-file pdf-file
2007-26: Schneider, C.: Symbolic Summation Finds Optimal Nested Sum Representations October, 2007. Eds.: P. Paule, J. Schicho ps-file pdf-file
2007-27: Pillwein V.: Positivity of certain sums over Jacobi kernel polynomials November, 2007. Eds.: U. Langer, P. Paule ps-file pdf-file
2007-28: Moore, B., Schicho, J., Gosselin, C.: Dynamic balancing of planar mechanisms using toric geometry November, 2007. Eds.: B. Jüttler, P. Paule ps-file pdf-file
2007-29: Neubauer, A., Pikkarainen, H.K.: Convergence results for the Bayesian inversion theory November, 2007. Eds.: H.W. Engl, P. Paule ps-file pdf-file
2007-30: Langer, U., Pechstein, C.: All-Floating Coupled Data-Sparse Boundary and Interface-Concentrated Finite Element Tearing and Interconnecting Methods December, 2007. Eds.: B. Jüttler, E. Lindner ps-file pdf-file
2007-31: Kauers, M., Zeilberger, D.: The Quasi-Holonomic Ansatz and Restricted Lattice Walks December, 2007. Eds.: P. Paule, F. Winkler ps-file pdf-file
2007-32: Stan, F.: On Recurrences for Ising Integrals December, 2007. Eds.: U. Langer, P. Paule ps-file pdf-file

2006

2006-1: Langer, U., Pechstein, C.: Coupled Finite and Boundary Element Tearing and Interconnecting Methods Applied to Nonlinear Potential Problems January, 2006. Eds.: E. Lindner, B. Jüttler - to appear in ZAMM - Journal of Applied Mathematics and Mechanics
2006-2: Alcazar, J.G., Schicho, J., Sendra, J.R.: Computation of the Topology Types of the Level Curves of Real Algebraic Surfaces February, 2006. Eds.: F. Winkler, B. Jüttler ps-file pdf-file
2006-3: Hackl, B.: Methods for reliable topology changes for perimeter regularized geometric inverse problems February, 2006. Eds.: M. Burger, B. Jüttler ps-file pdf-file
2006-4: Wolfram, M.: Semiconductor Inverse Dopant Profiling from Transient Measurements February, 2006. Eds.: M. Burger, E. Lindner ps-file pdf-file
2006-5: Gruber, P., Valdman, J.: New Numerical Solver for Elastoplastic Problems based on the Moreau-Yosida Theorem February, 2006. Eds.: U. Langer, H.W. Engl ps-file pdf-file
2006-6: Shalaby, M., Jüttler, B.: Approximate Implicitization of Space Curves and of Surfaces of Revolution March, 2006. Eds.: M. Burger, J. Schicho ps-file pdf-file
2006-7: Egger, H.: $\mathcal{Y-}$ scale Regularization March, 2006. Eds.: M. Burger, E. Lindner ps-file pdf-file
2006-8: Becirovic, A., Paule, P., Pillwein, V., Riese, A., Schneider, C., Schöberl, J.: Hypergeometric Summation Algorithms for High Order Finite Elements March, 2006. Eds.: B. Buchberger, U. Langer ps-file pdf-file
2006-9: Egger, H.: Preconditioning CGNE-Iterations for Inverse Problems March, 2006. Eds.: E. Lindner, J. Schicho ps-file pdf-file
2006-10: Stainko, R.: An Optimal Solver for a KKT-System arising from an Interior-Point Formulation of a Topology Optimization Problem April, 2006. Eds.: U. Langer, M. Burger ps-file pdf-file
2006-11: Gerhold, S., Kauers, M., Schöberl, J.: On a Conjectured Inequality for a Sum of Legendre Polynomials April, 2006. Eds.: P. Paule, U. Langer ps-file pdf-file
2006-12: Langer, U., Yang, H.: A Parallel Solver for the 3D Incompressible Naiver-Stokes Equations on the Austrian Grid April, 2006. Eds.: E. Lindner, B. Jüttler ps-file pdf-file
2006-13: Schneider, C.: Simplifying Sums in $\Pi\Sigma^*$ -Extensions April, 2006. Eds.: P. Paule, F. Winkler ps-file pdf-file
2006-14: Levandovskyy, V.: Intersection of Ideals with Non-commutative Subalgebras April, 2006. Eds.: B. Buchberger, P. Paule ps-file pdf-file
2006-15: Kauers, M., Paule, P.: A Computer Proof of Moll's Log-Concavity Conjecture June, 2006. Eds.: B. Buchberger, H.W. Engl ps-file pdf-file
2006-16: Alzer, H., Gerhold, S., Kauers, M., Lupas, A.: On Turán's Inequality for Legendre Polynomials June, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-17: Barton, M., Jüttler, B.: Computing roots of polynomials by quadratic clipping June, 2006. Eds.: U. Langer, J. Schicho ps-file pdf-file
2006-18: Hofinger, A., Valdman, J.: Numerical solution of the two-yield elastoplastic minimization problem June, 2006. Eds.: U. Langer, J. Schicho ps-file pdf-file
2006-19: Schöberl, J., Zulehner, W.: Symmetric Indefinite Preconditioners for Saddle Point Problems with Applications to PDE-Constrained Optimization Problems July, 2006. Eds.: M. Burger, U. Langer ps-file pdf-file
2006-20: Hofinger, A.: The Metrics of Prokhorov and Ky Fan for Assessing Uncertainty in Inverse Problems July, 2006. Eds.: H.W. Engl, E. Lindner ps-file pdf-file
2006-21: Kauers, M.: Shift Equivalence of P-Finite Sequences August, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-22: Alcazark, J.G., Sendra, J.R.: Local Shape of Offsets to Rational Algebraic Curves August, 2006. Eds.: J. Schicho, F. Winkler ps-file pdf-file
2006-23: Hofinger, A.: Assessing Uncertainty in Linear Inverse Problems with the Metrics of Ky Fan and Prokhorov August, 2006. Eds.: H.W. Engl, J. Schicho ps-file pdf-file
2006-24: Kauers, M., Zimmermann, B.: Computing the Algebraic Relations of C-finite Sequences and Multisequences August, 2006. Eds.: P. Paule, F. Winkler ps-file pdf-file
2006-25: Koutschan, C.: Regular Languages and Their Generating Functions: The Inverse Problem September, 2006. Eds.: P. Paule, B. Buchberger ps-file pdf-file
2006-26: Andrews, G.E., Paule, P.: MacMahon's Dream September, 2006. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2006-27: Andrews, G.E., Paule, P.: MacMahon's Partition Analysis XI: The Search for Modular Forms September, 2006. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2006-28: Andrews, G.E., Paule, P.: MacMahon's Partition Analysis XII: Plane Partitions September, 2006. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2006-29: Kauers, M., Levandovskyy, V.: An Interface between Mathematica and Singular October, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-30: Neubauer, A.: Solution of Ill-Posed Problems via Adaptive Grid Regularization: Convergence Analysis October, 2006. Eds.: H.W. Engl, J. Schicho ps-file pdf-file
2006-31: Hofinger, A., Kindermann, S.: Assessing Uncertainty in Nonlinear Inverse Problems with the Metric of Ky Fan October, 2006. Eds.: H.W. Engl, E. Lindner ps-file pdf-file
2006-32: Hofinger, A., Pikkarainen, H.K.: Convergence rates for the Bayesian approach to linear inverse problems November, 2006. Eds.: H.W. Engl, J. Schicho ps-file pdf-file
2006-33: Kauers, M.: Computer Algebra and Power Series with Positive Coefficients November, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-34: Beuchler S., Pillwein V.: Sparse shape functions for tetrahedral -FEM using integrated Jacobi polynomials November, 2006. Eds.: U. Langer, P. Paule ps-file pdf-file
2006-35: Beuchler S., Pillwein V.: Completions to sparse shape functions for triangular and tetrahedral p-FEM November, 2006. Eds.: U. Langer, P. Paule ps-file pdf-file
2006-36: Šír, Z., Gravesen, J., Jüttler, B.: Curves and surfaces represented by polynomial support functions November, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-37: Schneider, C.: Symbolic Summation Assists Combinatorics December, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-38: Osburn, R., Schneider, C.: Gaussian Hypergeometric Series and Extensions of Supercongruences December, 2006. Eds.: P. Paule, F. Winkler ps-file pdf-file
2006-39: Gerhold, S., Glebsky, L., Schneider, C., Weiss, H., Zimmermann, B.: Limit States for One-dimensional Schelling Segregation Models December, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-40: Schneider, C.: Parameterized Telescoping Proves Algebraic Independence of Sums December, 2006. Eds.: P. Paule, F. Winkler ps-file pdf-file
2006-41: Schneider, C.: Apéry's Double Sum is Plain Sailing Indeed December, 2006. Eds.: P. Paule, J. Schicho ps-file pdf-file
2006-42: Paule, P., Schneider, C.: Truncating Binomial Series with Symbolic Summation December, 2006. Eds.: B. Buchberger, J. Schöberl ps-file pdf-file

2005

2005-1: Gu, H., Burger, M.: Numerical-Symbolic methods for parameter-dependent geometric differential equations January, 2005. Eds.: U. Langer, F. Winkler ps-file pdf-file
2005-2: Gerhold, S., Kauers, M.: A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter January, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-3: Egger, H.: Accelerated Newton-Landweber Iterations for Regularizing Nonlinear Inverse Problems January, 2005. Eds.: M. Burger, J. Schöberl ps-file pdf-file
2005-4: Wurm, E., Jüttler, B., Kim, M.: Approximate Rational Parameterization of Implicitly Defined Surfaces March, 2005. Eds.: U. Langer, J. Schicho ps-file pdf-file
2005-5: Zulehner, W.: Uzawa-type Methods for Block-Structured Indefinite Linear Systems March, 2005. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2005-6: Zaglmayr, S., Schöberl, J., Langer, U.: Eigenvalue Problems in Surface Acoustic Wave Filter Simulations March, 2005. Eds.: E. Lindner, B. Jüttler ps-file pdf-file
2005-7: Celorrio, R., Hofinger, A.: A real-time solution for an inverse Cauchy problem in cardiology April, 2005. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2005-8: Schneider, C.: Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions (Extended Version) April, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-9: Lukáš, D., Chalmovianský, P.: A Sequential Coupling of Optimal Topology and Multilevel Shape Design Applied to 2-Dimensional Nonlinear Magnetostatics May, 2005. Eds.: U. Langer, M. Burger ps-file pdf-file
2005-10: Chalmovianský, P., Jüttler, B.: Predictor-Corrector Technique for Approximate Parameterization of Intersection Curves August, 2005. Eds.: J. Schicho, M. Burger ps-file pdf-file
2005-11: Bell, J.P., Gerhold, S.: The Positivity Set of a Recurrence Sequence August, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-12: Flajolet, P., Gerhold, S., Salvy, B.: On the Non-Holonomic Character of Logarithms, Powers, and the th Prime Function August, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-13: Gerhold, S.: On Some Non-Holonomic Sequences August, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-14: Gfrerer, H.: Second-Order Necessary Conditions for Nonlinear Optimization Problems: The Degenerate Case September, 2005. Eds.: U. Langer, M. Burger ps-file pdf-file
2005-15: Gerhold, S., Kauers, M.: A Computer Proof of Turán's Inequality September, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-16: Andrews, G.E., Knopfmacher, A., Zimmermann, B.: On the Number of Distinct Multinomial Coefficients September, 2005. Eds.: P. Paule, J. Schicho ps-file pdf-file
2005-17: Kuba, M., Prodinger, H., Schneider, C.: Generalized Reciprocity Laws for Sums of Harmonic Numbers November, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-18: Hofinger, A., Pillichshammer, F.: Learning a Function from Noisy Samples at a Finite Sparse Set of Points November, 2005. Eds.: H.W. Engl, B. Jüttler ps-file pdf-file
2005-19: Kauers, M., Schneider, C.: Application of Unspecified Sequences in Symbolic Summation December, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-20: Kauers, M.: Solving Difference Equations whose Coefficients are not Transcendental December, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-21: Kauers, M.: SumCracker: A Package for Manipulating Symbolic Sums and Related Objects December, 2005. Eds.: P. Paule, F. Winkler ps-file pdf-file
2005-22: Egger, H., Hein, T., Hofmann, B.: On decoupling of volatility smile and term structure in inverse option pricing December, 2005. Eds.: J. Schicho, J. Schöberl ps-file pdf-file
2005-23: Regensburger, G.: Parametrizing compactly supported orthonormal wavelets by discrete moments December, 2005. Eds.: P. Paule, J. Schicho ps-file pdf-file

2004

2004-1: Bachinger, F., Langer, U., Schöberl, J.: Numerical Analysis of Nonlinear Multiharmonic Eddy Current Problems January, 2004. Eds.: H.W. Engl, E. Lindner ps-file pdf-file
2004-2: Andrews, G.E., Paule, P., Riese, A.: MacMahon's Partition Analysis X: Plane Partitions with Diagonals January, 2004. Eds.: J. Schicho, F. Winkler ps-file pdf-file
2004-3: Buchberger, B.: A Note on the Automated Generation of an Algorithm Verification Method March, 2004. Eds.: P. Paule, J. Schicho ps-file pdf-file
2004-4: Andrews, G.E., Paule, P., Riese, A.: MacMahon's Partition Analysis XI: Hexagonal Plane Partitions March, 2004. Eds.: J. Schicho, F. Winkler ps-file pdf-file
2004-5: Kauers, M.: ZET User Manual March, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-6: Kauers, M.: Computer Proofs for Polynomial Identities in Arbitrary Many Variables March, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-7: Schneider, C.: Symbolic Summation with Single-Nested Sum Extensions (Extended Version) April, 2004. Eds.: P. Paule, J. Schicho ps-file pdf-file
2004-8: Egger, H., Engl, H.W., Klibanov, M.V.: Global Uniqueness and Hölder Stability for Recovering a Nonlinear Source Term in a Parabolic Equation June, 2004. Eds.: U. Langer, P. Paule ps-file pdf-file
2004-9: Andrews, G.E., Paule, P., Schneider, C.: Plane Partitions VI: Stembridge's TSPP Theorem June, 2004. Eds.: J. Schicho, F. Winkler ps-file pdf-file
2004-10: Schneider, C.: A New Sigma Approach to Multi-Summation June, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-11: Brokate, M., Carstensen, C., Valdman, J.: A Quasi-Static Boundary Value Problem in Multi-Surface Elastoplasticity: Part 2 - Numerical Solution June, 2004. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2004-12: Wabro, M.: AMGe -- Coarsening Strategies and Application to the Oseen-Equations June, 2004. Eds.: M. Burger, U. Langer ps-file pdf-file
2004-13: Kauers, M., Schneider, C.: Indefinite Summation with Unspecified Sequences June, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-14: Jüttler, B., Chalmovianský, P.: Approximate Parameterization by Planar Rational Curves July, 2004. Eds.: J. Schicho, U. Langer ps-file pdf-file
2004-15: Pechstein, C., Jüttler, B.: Monotonicity-preserving Interproximation of B-H-Curves August, 2004. Eds.: U. Langer, J. Schicho ps-file pdf-file
2004-16: Bachinger, F., Langer, U., Schöberl, J.: Efficient Solvers for Nonlinear Time-Periodic Eddy Current Problems August, 2004. Eds.: M. Burger, B. Jüttler ps-file pdf-file
2004-17: Burger, M., Kaltenbacher, B.: Regularizing Newton-Kaczmarz Methods for Nonlinear Ill-Posed Problems August, 2004. Eds.: H.W. Engl, J. Schöberl ps-file pdf-file
2004-18: Kügler, P.: An approach to online parameter estimation in nonlinear dynamical systems September, 2004. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2004-19: Hofinger, A.: Nonlinear Function Approximation: Computing Smooth Solutions with an Adaptive Greedy Algorithm. September, 2004. Eds.: H.W. Engl, B. Jüttler ps-file pdf-file
2004-20: Stainko, R.: An Adaptive Multilevel Approach to the Minimal Compliance Problem in 3D Topology Optimization September, 2004. Eds.: U. Langer, M. Burger ps-file pdf-file
2004-21: Engl, H.W., Hofinger, A., Kindermann, S.: Convergence Rates in the Prokhorov Metric for Assessing Uncertainty in Ill-Posed Problems September, 2004. Eds.: U. Langer, P. Paule ps-file pdf-file
2004-22: Egger, H., Engl, H.W.: Tikhonov Regularization Applied to the Inverse Problem of Option Pricing: Convergence Analysis and Rates September, 2004. Eds.: U. Langer, P. Paule ps-file pdf-file
2004-23: Langer, U., Pohoata, A., Steinbach, O.: Application of Preconditioned Coupled FETI/BETI Solvers to 2D Magnetic Field Problems September, 2004. Eds.: B. Jüttler, E. Lindner ps-file pdf-file
2004-24: Langer, U., Pusch, D.: Comparison of Geometrical and Algebraic Multigrid Preconditioners for Data-Sparse Boundary Element Matrices September, 2004. Eds.: E. Lindner, J. Schicho ps-file pdf-file
2004-25: Egger, H., Neubauer, A.: Preconditioning Landweber Iteration in Hilbert Scales September, 2004. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2004-26: Egger, H.: Semiiterative Regularization in Hilbert Scales October, 2004. Eds.: M. Burger, E. Lindner ps-file pdf-file
2004-27: Schicho, J., Szilágyi, I.: Numerical Stability of Surface Implicitization November, 2004. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2004-28: Schneider, C.: The Summation Package Sigma: Underlying Principles and a Rhombus Tiling Application November, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-29: Schneider, C.: Solving Parameterized Linear Difference Equations In Terms of Indefinite Nested Sums and Products November, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-30: Pemantle, R., Schneider, C.: When is $0.999\ldots$ equal to 1? November, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-31: Szilágyi, I., Jüttler, B., Schicho, J.: Local Parametrization of Cubic Surfaces December, 2004. Eds.: F. Winkler, U. Langer ps-file pdf-file
2004-32: Schicho, J., Pílniková, J.: Algorithms for solving rational quadratic forms December, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-33: Kügler, P.: Convergence Rate Analysis of a Derivative Free Landweber Iteration for Parameter Identification in Certain Elliptic PDEs December, 2004. Eds.: U. Langer, E. Lindner ps-file pdf-file
2004-34: Gerhold, S.: On the Signs of Recurrence Sequences December, 2004. Eds.: P. Paule, F. Winkler ps-file pdf-file
2004-35: Burger, M., Stainko, R.: Phase-Field Relaxation of Topology Optimization with Local Stress Constraints December, 2004. Eds.: U. Langer, B. Jüttler ps-file pdf-file
2004-36: Piroi, F.: User Interface Features in Theorema: A Summary December, 2004. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2004-37: Kovacs, L., Jebelean, T.: Automated Generation of Loop Invariants by Recurrence Solving in Theorema December, 2004. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2004-38: Jebelean, T., Kovacs, L., Popov, N.: Large Experimental Program Verification in the Theorema System December, 2004. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2004-39: Popov, N., Jebelean, T.: A Practical Approach to Proving Termination of Recursive Programs in Theorema December, 2004. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2004-40: Lukáš, D.: Progress Report on Topology and Shape Optimization in Magnetostatics December, 2004. Eds.: M. Burger, U. Langer ps-file pdf-file

2003

2003-1: Burger, M.: Weak Solutions for the Mean Curvature Flow of Planar Graphs February, 2003. Eds.: H.W. Engl, F. Winkler ps-file pdf-file
2003-2: Wabro, M.: Coupled Algebraic Multigrid Methods for the Oseen Problem February, 2003. Eds.: U. Langer, E. Lindner ps-file pdf-file
2003-3: Chalmovianský, P., Jüttler, B.: Fairness Criteria for Algebraic Curves March, 2003. Eds.: A. Neubauer, J. Schicho ps-file pdf-file
2003-4: Burger, M., Hofinger, A.: Regularized Greedy Algorithms for Neural Network Training with Data Noise April, 2003. Eds.: H.W. Engl, P. Paule ps-file pdf-file
2003-5: Bosa, K., Mittermaier, C., Schreiner, W.: Distributed Maple: Parallel Computer Algebra in Networked Environments April, 2003. Eds.: F. Winkler, T. Jebelan ps-file pdf-file
2003-6: Haase, G., Lindner, E., Rathberger, C., Mühlhuber, W.: Optimal Sizing and Shape Optimization in Structural Mechanics May, 2003. Eds.: B. Jüttler, U. Langer ps-file pdf-file
2003-7: Korneev, V., Langer, U., Xanthis, L.: On Fast Domain Decomposition; Solving Procedures for hp-Discretizations of 3D Elliptic Problems May, 2003. Eds.: H.W. Engl, E. Lindner ps-file pdf-file
2003-8: Hillgarter, E., Hemmecke, R., Landsmann, G., Winkler, F.: Symbolic Differential Elimination for Symmetry Analysis June, 2003. Eds.: U. Langer, P. Paule ps-file pdf-file
2003-9: Kindermann, S.: A new iterative regularization method using an equation of Hamilton-Jacobi type July, 2003. Eds.: A. Neubauer, U. Langer ps-file pdf-file
2003-10: Schneider, C.: Product Representations in $\Pi\Sigma$ -fields July, 2003. Eds.: P. Paule, J. Schicho ps-file pdf-file
2003-11: Larcombe, P.J., Riese, A., Zimmermann, B.: Computer Proofs of Matrix Product Identities July, 2003. Eds.: P. Paule, J. Schicho ps-file pdf-file
2003-12: BenAmeur, H., Burger, M., Hackl, B.: Level Set Methods for Geometric Inverse Problems in Linear Elasticity August, 2003. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2003-13: Kindermann, S., Leitão, A.: On regularization methods based on dynamic programming techniques August, 2003. Eds.: A. Neubauer, J. Schicho ps-file pdf-file
2003-14: Stainko, R.: A Multilevel Approach to the Minimal Compliance Problem in Topology Optimization September, 2003. Eds.: U. Langer, B. Jüttler ps-file pdf-file
2003-15: Kienesberger, J.: Multigrid Preconditioned Solvers for Some Elastoplastic Problems September, 2003. Eds.: U. Langer, J. Schicho ps-file pdf-file
2003-16: Brokate, M., Carstensen, C., Valdman, J.: A Quasi-Static Boundary Value Problem in Multi-Surface Elastoplasticity: Part 1 - Analysis September, 2003. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2003-17: Gu, H., Kindermann, S.: Solution analysis of PDEs related to the Mumford-Shah functional with symbolic computation September, 2003. Eds.: A. Neubauer, F. Winkler ps-file pdf-file
2003-18: Kügler, P.: A Derivative Free Landweber Method for Parameter Identification in Elliptic PDEs October, 2003. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2003-19: Kügler, P.: A Parameter Identification Problem of Mixed Type Related to the Manufacture of Car Windshields October, 2003. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2003-20: Kügler, P.: Identification of a Temperature Dependent Heat Conductivity from Single Boundary Measurements October, 2003. Eds.: H.W. Engl, U. Langer ps-file pdf-file
2003-21: Chalmovianský, P., Jüttler, B.: Algebraic subdivision of planar curves October, 2003. Eds.: G. Haase, J. Schicho
2003-22: Buchberger, B.: Focus Windows: A New Approach to Presenting Mathematical Proofs (In Automated Proving Systems) October, 2003. Eds.: T. Jebelean, J. Schicho ps-file pdf-file
2003-23: Buchberger, B., Ida, T.: Origami Theorem Proving October, 2003. Eds.: P. Paule, J. Schicho ps-file pdf-file
2003-24: Buchberger, B.: A Formal Setting for Topological Spaces in Theorema Using Functors October, 2003.
2003-25: Buchberger, B.: The Four Parallel Threads of Formal Theory Exploration in Theorema October, 2003.
2003-26: Buchberger, B.: Proving Provers Correct: Implications for the Design of Theorema October, 2003.
2003-27: Fuchs, G.: Formal Geometry: A Case Study in Theory Exploration Using Theorema October, 2003. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2003-28: Bila, N.: Application of symmetry analysis to a PDE arising in the car windshield design October, 2003. Eds.: U. Langer, P. Paule ps-file pdf-file
2003-29: Buchberger, B.: Algorithm Invention and Verification by Lazy Thinking October, 2003. Eds.: T. Jebelean, J. Schicho ps-file pdf-file
2003-30: Kovacs, L.: Program Verification Using Hoare Logic October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-31: Kovacs, L., Jebelean, T.: Practical Aspects of Imperative Program Verification using Theorema October, 2003. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2003-32: Kovacs, L., Popov, N., Jebelean, T.: Verification of Imperative Programs in Theorema October, 2003. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2003-33: Popov, N.: Verification Using Weakest Precondition Strategy October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-34: Popov, N., Jebelean, T.: A Practical Approach to Verification Recursive Programs in Theorema October, 2003. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2003-35: Marin, M., Kutsia, T.: On the Implementation of a Rule-Based Programming Systems and some of its Applications October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-36: Kutsia, T.: Unification Modulo Flatness October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-37: Kutsia, T.: Matching in Flat Theories October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-38: Jebelean, T.: Imperative Program Verification with Theorema October, 2003. Eds.: B. Buchberger, J. Schicho ps-file pdf-file
2003-39: Windsteiger, W.: An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema System October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-40: Windsteiger, W.: Exploring an Algorithm for Polynomial Interpolation in the Theorema System October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-41: Rosenkranz, M., Buchberger, B., Engl, H.W.: A symbolic algorithm for solving two-point BVPs on the operator level October, 2003. Eds.: P. Paule, J. Schicho ps-file pdf-file
2003-42: Rosenkranz, M.: Symbolic Solution of Simple BVPs on the Operator Level: A New Approach October, 2003. Eds.: B. Buchberger, T. Jebelean ps-file pdf-file
2003-43: Marin, M., Piroi, F.: Rule-based deduction and views in Mathematica October, 2003. Eds.: T. Jebelean, J. Schicho ps-file pdf-file
2003-44: Buchberger, B.: Algorithm Retrieval: Concept Clarification and Case Study in Theorema October, 2003. Eds.: P. Paule, J. Schicho ps-file pdf-file
2003-45: Langer, U., Steinbach, O.: Coupled Boundary and Finite Element Tearing and Interconnecting Methods November, 2003. Eds.: H.W. Engl, E. Lindner ps-file pdf-file
2003-46: Chalmovianský, P., Jüttler, B.: A Circle-preserving Subdivision Scheme Based on Local Algebraic Fits November, 2003. Eds.: A. Neubauer, J. Schicho ps-file pdf-file
2003-47: Langer, U., Pusch, D.: Sparse Algebraic Multigrid Methods for Large Scale Boundary Element Equations December, 2003. Eds.: E. Lindner, J. Schicho ps-file pdf-file
2003-48: Kauers, M.: An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences December, 2003. Eds.: P. Paule, F. Winkler ps-file pdf-file

2002

02-1: Reitzinger, S., Schreiber, U., van Rienen, U. : Algebraic Multigrid for Complex Symmetric Matrices: Numerical Studies. January, 2002. Eds.: U. Langer, A. Neubauer ps-file pdf-file
02-2: Engl, H. W.: Identification of Parameters in Polymer Crystallization, Semiconductor Models and Elasticity via Iterative Regularization Methods January, 2002. Eds.: U. Langer, B. Jüttler ps-file pdf-file
02-3: Langer, U. Reitzinger, S. Schicho, J.: Symbolic Methods for the Element Preconditioning Technique January, 2002. Eds.: W. Engl, F. Winkler ps-file pdf-file
02-4: Paule, P.: Wavelets with Scale Dependent Properties January, 2002. Eds.: J. Schicho, F. Winkler ps-file pdf-file
02-5: Haase, G. Reitzinger, S.: Algebraic Multigrid Methods for Linear Systems with Multiple Right-Hand Sides March, 2002. Eds.: W. Engl, U. Langer ps-file pdf-file
02-6: Kutsia, T.: Unification in a Free Theory with Sequence Variables and Flexible Arity Symbols and its Extensions March, 2002. Eds.: B. Buchberger, P. Paule ps-file pdf-file
02-7: Lyons, R. Paule, P. Riese, A.: A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers April, 2002. Eds.: J. Schicho, F. Winkler ps-file pdf-file
02-8: Burger, M.: Growth Fronts of First-Order Hamilton-Jacobi Equations May, 2002. Eds.: B. Jüttler, W. Engl ps-file pdf-file
02-9: Sohn, Kyung-Ah. Jüttler, B. Kim, Myung-Soo.: Computing the Distance Between Two Surfaces via Line Geometry June, 2002. Eds.: J. Schicho, E. Lindner ps-file pdf-file
02-10: Kindermann, S. Neubauer, A.: Parameter Identification by Regularization for Surface Representation via the Moving Grid Approach July, 2002. Eds.: B. Jüttler, J. Schicho ps-file pdf-file
02-11: Burger, M., Haslinger, J., Bodenhofer, U., Engl, H.W.: Regularized data-driven construction of fuzzy controllers July, 2002. Eds.: B. Jüttler, B. Buchberger ps-file pdf-file
02-12: Burger, M.: A Framework for the Construction of Level Set Methods for Shape Optimization and Reconstruction September, 2002. Eds.: H.W. Engl, J. Schicho ps-file pdf-file
02-13: Apel, J., Hemmecke, R.: Detecting Unnecessary Reductions in an Involutive Basis Computation October, 2002. Eds.: F. Winkler, J. Schicho ps-file pdf-file
02-14: Schicho, J.: Simplification of Surface Parametrizations November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-15: Schicho, J.: An Inequality for Lattice Polygons November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-16: Schicho, J., Pau, P.: Computation and Validation of Root Clusters for Univariate Polynomials November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-17: Schicho, J.: Simplification of Surface Parametrizations A Lattice Polygon Approach November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-18: Korneev, V., Xanthis, L., Anoufriev, I.: Hierarchical and Lagrange discretizations and fast domain decomposition solvers for them November, 2002. Eds.: U. Langer, E. Lindner ps-file pdf-file
02-19: Schneider, C.: Solving Parameterized Linear Difference Equations in $\Pi\Sigma$ -Fields November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-20: Schneider, C.: A Collection of Denominator Bounds To Solve Parameterized Linear Difference Equations in $\Pi\Sigma$ -Fields November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-21: Schneider, C.: Degree Bounds to Find Polynomial Solutions of Parameterized Linear Difference Equations in $\Pi\Sigma$ -Fields November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-22: Schneider, C.: A Unique Representation of Solutions of Parameterized Linear Difference Equations in $\Pi\Sigma$ -Fields November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-23: Jüttler, B., Schicho, J., Shalaby, M.: Spline Implicitization of Planar Curves November, 2002. Eds.: P. Paule, F. Winkler ps-file pdf-file
02-24: Gu, H.: Graphical Generating of Minimal Surfaces Subject to the Plateau Problems November, 2002. Eds.: J. Schicho, F. Winkler ps-file pdf-file
02-25: Ahlgren, S., Paule, P., Schneider, C.: Computer Proofs of a New Family of Harmonic Number Identities November, 2002. Eds.: P. Paule, J. Schicho ps-file pdf-file
02-26: Winkler, F., Athale, M.: Abstracts Booklet of the Fourth International Workshop on Automated Deduction in Geometry (ADG'02) September, 2002. Eds.: F. Winkler, J. Schicho ps-file pdf-file
02-27: Rosenkranz, M., Engl, H.W.: Solving Linear Boundary Value Problems via Non-Commutative Gröbner Bases December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-28: Landsmann, G.: Implicitization of Algebraic Varieties December, 2002. Eds.: F. Winkler, J. Schicho ps-file pdf-file
02-29: Burger, M., Pinnau, R.: Fast Optimal Design of Semiconductor Devices December, 2002. Eds.: H.W. Engl, U.Langer ps-file pdf-file
02-30: Reitzinger, S., Kaltenbacher, B., Kaltenbacher, M.: A Note on the Approximation of Curves for Nonlinear Magnetic Field Computations December, 2002. Eds.: H.W. Engl, U.Langer ps-file pdf-file
02-31: Craciun, A., Buchberger, B.: Proving the Correctness of the Merge-Sort Algorithm with Theorema December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-32: Piroi, F., Buchberger, B.: Focus Window: A New Technique for Proof Presentation December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-33: Piroi, F.: Focus Window: A Tool for Automated Provers December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-34: Paule, P., Prodinger, H.: Fountains, Histograms, and -Identities December, 2002. Eds.: J. Schicho, F. Winkler ps-file pdf-file
02-35: Nakagawa, K.: Variable Shape Logicographic Symbols December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-36: Kutsia, T.: Theorem Proving with Sequence Variables and Flexible Arity Symbols December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-37: Kutsia, T.: Pattern Unification with Sequence Variables and Flexible Arity Symbols December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-38: Windsteiger, W.: An Automated Prover for Set Theory in Theorema December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-39: Windsteiger, W.: An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-40: Kusper, G.: Solving the SAT Problem by Hyper-Unit Propagation December, 2002. Eds.: J. Schicho, T. Jebelean ps-file pdf-file
02-41: Langer, U., Steinbach, O.: Boundary Element Tearing and Interconnecting Methods December, 2002. Eds.: B. Jüttler, W. Engl ps-file pdf-file

2001

01-1: Sendra, J.R., Winkler, F.: Tracing Index of Rational Parametrizations. January, 2001. Eds.: P. Paule, J. Schicho ps-file
01-2: Ratschan, S.: Quantified Constraints Under Perturbation. January, 2001. Eds.: P. Paule, J. Schicho ps-file
01-3: Burger, M., Engl, H.W., Markowich, P.A., Pietra, P.: Identification of Doping Profiles in Semiconductor Devices. January, 2001. Eds.: U. Langer, R. Lerch ps-file
01-4: Andrews, G.E., Paule, P., Riese, A.: MacMahon's Partition Analysis VI: A New Reduction Algorithm. February, 2001. Eds.: J. Schicho, F. Winkler ps-file
01-5: Andrews, G.E., Paule, P., Riese, A.: MacMahon's Partition Analysis VII: Constrained Compositions. February, 2001. Eds.: J. Schicho, F. Winkler ps-file
01-6: Andrews, G.E., Paule, P., Riese, A.: MacMahon's Partition Analysis VIII:
Plane Partition Diamonds. February, 2001. Eds.: J. Schicho, F. Winkler ps-file
01-7: Riese, A.: qMultiSum -- A Package for Proving -Hypergeometric Multiple Summation Identities. February, 2001. Eds.: P. Paule, F. Winkler ps-file
01-8: Berkovich, A., Riese, A.: A Computer Proof of a Polynomial Identity Implying a Partition Theorem of Göllnitz. February, 2001. Eds.: B. Buchberger, P. Paule ps-file
01-9: Burger, M., Haslinger, J., Bodenhofer, U.: Regularized Optimization of Fuzzy Controllers. February, 2001. Eds.: J. Schicho, F. Winkler ps-file
01-10: Andrews, G.E, Paule, P., Riese, A.: MacMahon's Partition Analysis IX:
k-Gon Partitions March, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-11: Zauner, J.: Immersive Visualization of Adaptive Grids based on CAVE-Technology March, 2001. Eds.: U. Langer, J. Volkert ps-file
01-12: Burger, M., Neubauer, A.: Analysis of Tikhonov Regularization for Function Approximation by Neural Networks March, 2001. Eds.: H. Engl, J. Schicho ps-file
01-13: T. Kutsia: Unification in the Empty and Flat Theories with Sequence Variables and Flexible Arity Symbols April, 2001. Eds.: B. Buchberger, P. Paule ps-file
01-14: M. Burger: A Level Set Method for Inverse Problems April, 2001. Eds.: H. Engl, U. Langer ps-file
01-15: Berkovich, A., Paule, P. : Variants of the Andrews-Gordon Identities May, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-16: Berkovich, A., Paule, P. : Lattice paths, -multinomials and two variants of the Andrews-Gordon identities May, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-17: Kaltenbacher, B., Kaltenbacher, M., Reitzinger, S. : Identification of nonlinear curves based on magnetic field computations and multigrid methods for ill-posed problems May, 2001. Eds.: H. Engl, U. Langer ps-file
01-18: Burger, M., Mühlhuber, W. : Iterative Regularization of Parameter Identification Problems by SQP Methods May, 2001. Eds.: H. W. Engl, U. Langer ps-file
01-19: Burger, M., Mühlhuber, W. : Numerical Approximation of an SQP-type Method for Parameter Identification May, 2001. Eds.: H. W. Engl, U. Langer ps-file
01-20: Schöberl, J., Zulehner, W. : On Additive Schwarz-type Smoothers for Saddle Point Problems June, 2001. Eds.: H. W. Engl, U. Langer ps-file
01-21: Anwander, A., Kuhn, M., Reitzinger, S., Wolters, C. : A Parallel Algebraic Multigrid Solver for the Finite Element Method based Source Localization in the Human Brain June, 2001. Eds.: U. Langer, H. W. Engl ps-file
01-22: Douglas, C., Haase, G., Iskandarani, M.: An Additive Schwarz Preconditioner for the Spectral Element Ocean Model Formulation of the Shallow Water Equations June, 2001. Eds.: U. Langer, B. Jüttler ps-file
01-23: Windsteiger, W.: A Set Theory Prover Within Theorema July, 2001. Eds.: B. Buchberger, P. Paule ps-file
01-24: Windsteiger, W.: On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover July, 2001. Eds.: B. Buchberger, P. Paule ps-file
01-25: Engl, H.W., Kügler, P.: The Influence of the Equation Type on Iterative Parameter Identification Problems which are Elliptic or Hyperbolic in the Parameter July, 2001. Eds.: U. Langer, A. Neubauer ps-file
01-26: E. Andrews, G., Knopfmacher, A., Paule, P., Prodinger, H.: -Engel Series Expansions and Slater's Identities August, 2001. Eds.: J. Schicho, F. Winkler ps-file
01-27: Kaltenbacher, B., Neubauer, A., Ramm, A. G. : Convergence rates of the continuous regularized Gauss-Newton method August, 2001. Eds.: H.W. Engl, J. Schicho ps-file
01-28: Neubauer, A. : Estimation of Discontinuous Solutions of Ill-Posed Problems by Regularization for Surface Representations: Numerical Realisation via Moving Grids September, 2001. Eds.: H.W. Engl, U. Langer ps-file
01-29: Ben Ameur, H., Kaltenbacher, B. : Regularization of parameter estimation by adaptive discretization using refinement and coarsening indicators September, 2001. Eds.: H.W. Engl, U. Langer ps-file
01-30: Langer, U. Pusch, D. Reitzinger, S. : An Efficient Preconditioner for Boundary Element Matrices based on Algebraic Multigrid Methods December, 2001. Eds.: H.W. Engl, E. Lindner ps-file
01-31: Bodnár, G. : Computation of blowing up centers December, 2001. Eds.: J. Schicho, F. Winkler ps-file
01-32: Hemmecke, R. : Dynamical Aspects of Involutive Bases Computations December, 2001. Eds.: F. Winkler, P. Paule ps-file
01-33: Bodnár, G. Pau, P. Schicho, J. Kaltenbacher, B. : Exact Real Computation in Computer Algebra December, 2001. Eds.: P. Paule, F. Winkler ps-file
01-34: Kutsia, T. Nakagawa, K. : System Description: Interface between Theorema and External Automated Deduction December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-35: Nakagawa, K. Buchberger, B. : Presenting Proofs Using Logicographic Symbols December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-36: Konev, B. Jebelean, T. : Solution Lifting Method for Handling Meta-variables in THEOREMA December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-37: Nakagawa, K. Buchberger, B. : Two Tools for Mathematical Knowledge Management in Theorema December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-38: Piroi, F. Jebelean, T. : Advanced Proof Presentation in Theorema December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-39: Kusper, G. : Solving the Resolution-Free SAT Problem in Polynomial Time by Sub-Model Propagation December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-40: Jebelean, T. : Natural Proofs in Elementary Analysis by S-Decomposition December, 2001. Eds.: B. Buchberger, F. Winkler ps-file
01-41: Winkler, F. : Abstract Booklet of the Second SFB Conference Symbolic and Numerical Scientific Computation
(SNSC'01) December, 2001. Eds.: U. Langer, F. Winkler ps-file

2000

00-1: Hinterberger, W., Scherzer, O.: Models for image interpolation based on the optical flow. January, 2000. Eds.: U. Langer, E. Lindner ps-file
00-2: Engl, H.W.: Inverse Problems and Their Regularisation. January, 2000. Eds.: B. Buchberger, U. Langer ps-file
00-3: Kaltenbacher, B.: A Multi-grid Method with A Priori and A Posteriori Level Choice for the Regularization of Nonlinear Ill-Posed Problems. March 2000. Eds.: Heinz W. Engl, Ulrich Langer ps-file
00-4: Kaltenbacher, B.: Regularization by Projection with A Posteriori Discretization Level Choice for Linear and Nonlinear Ill-Posed Problems. March 2000. Eds.: Heinz W. Engl, Ulrich Langer ps-file
00-5: Riese, A.: Tuning Zeilberger's Algorithm: The Methods of Uncreative Filtering and Creative Substituting. March 2000. Eds.: Peter Paule, Josef Schicho ps-file
00-6: Buchberger, B. and Langer, U.: Annual Report of the SFB F013: 1.1.99-31.12.99. March 2000. ps-file
00-7: Kaltenbacher,M. and Reitzinger, S.: Algebraic Multigrid for Static Nonlinear 3D Electromagnetic Field Computations. April 2000. Eds.: Ulrich Langer, Reinhard Lerch ps-file
00-8: Chyzak, F.: About the Non-Minimality of the Outputs of Zeilberger's Algorithm. April 2000. Eds.: B. Buchberger, P. Paule ps-file
00-9: Scherzer, O., Schoisswohl, A., Kratochwil, A.: Compression of 3D Ultrasound Data Using Wavelet Bases on Intervals. May 2000. Eds.: B. Buchberger, U. Langer ps-file
00-10: Kotsireas, I., Schicho, J.: A computer algebra solution to a planar Newtonian 4-body problem with unequal masses. May 2000. Eds.: P. Paule, F. Winkler ps-file
00-11: Gutierrez, J., Rubio, R., Schicho, J.: Polynomial Parametrization of Regular Curves. May 2000. Eds.: P. Paule, F. Winkler ps-file
00-12: Schicho, J.: The Parametrization Problem for Algebraic Surfaces - A Survey. May 2000. Eds.: P. Paule, F. Winkler ps-file
00-13: Kaltenbacher, B. and Schöberl, J.: A Saddle Point Variational Formulation for Projection-Regularized Parameter Identification. May 2000. Eds.: H. W. Engl, U. Langer ps-file
00-14: Burger, M. and Engl, H. W.: Training Neural Networks with Noisy Data as an Ill-posed Problem. June 2000. Eds.: B. Buchberger, H. Irschik ps-file
00-15: Reitzinger, S. and Schöberl, J.: Algebraic Multigrid for Edge Elements. June 2000. Eds.: U. Langer, R. Lerch ps-file
00-16: Haase, G., Kuhn, M. and Reitzinger, S.: Parallel AMG on Distributed Memory Computers Eds.: U. Langer, J. Volkert ps-file
00-17: Burger, M. and Neubauer, A.: Error Bounds for Approximation with Neural Networks Eds.: H. W. Engl, E. Lindner ps-file
00-18: Andrews, G. E., Paule, P., Riese, A. and Strehl, V.: MacMahon's Partition Analysis V: Bijections, Recursions, and Magic Squares Eds.: B. Buchberger, F. Winkler ps-file
00-19: Apel, T. and Schöberl, J.: Multigrid Methods for Anisotropic Edge Refinement. Eds.: U. Langer, E. Lindner ps-file
00-20: Stoyan, G.: $-\Delta=-{\rm grad} {\rm div}+{\rm rot} {\rm rot}$ for matrices, with application to the finite element solution of the Stokes problem Eds.: H. W. Engl, U. Langer ps-file
00-21: Andrews, G. E., Knopfmacher, A., Paule, P. and Zimmermann, B.: Engel Expansions of -Series by Computer Algebra. Eds.: B. Buchberger, F. Winkler ps-file
00-22: Rondi, L. and Santosa, F.: Enhanced Electrical Impedance Tomography via the Mumford-Shah Functional. Eds.: U. Langer, O. Scherzer ps-file
00-23: Radmoser, E., Scherzer, O. and Schöberl, J.: A Cascadic Algorithm for Bounded Variation Regularization. Eds.: U. Langer, E. Lindner ps-file
00-24: Ratschan, S.: Uncertainty Propagation in Heterogenous Algebras
for Approximate Quantified Constraint Solving. Eds.: J. Schicho, B. Buchberger ps-file
00-25: Ratschan, S.: Convergence of Quantified Constraint Solving
by Approximate Quantifiers. Eds.: J. Schicho, B. Buchberger ps-file
00-26: Ratschan, S.: Approximate Quantified Constraint Solving
By Cylindrical Box Decomposition. Eds.: J. Schicho, B. Buchberger ps-file
00-27: Hohage, T.: On the Numerical Solution of a Three-Dimensional Inverse Medium Scattering Problem. Eds.: H. W. Engl, U. Langer ps-file
00-28: Kienesberger, J.: Multigrid Preconditioned Minimization Algorithms for Elastoplastic Type Problems. Eds.: U. Langer, E. Lindner ps-file
00-29: Kaltenbacher, B.: V-cycle convergence of some multigrid methods for ill-posed problems. Eds.: H. W. Engl, U. Langer ps-file
00-30: Lukas, D.: Shape Optimization of Homogeneous Electromagnets. Eds.: H. W. Engl, U. Langer ps-file
00-31: Carstensen, C., Schöberl, J.: Residual-Based A Posteriori Error Estimate for a Mixed Reißner-Mindlin Plate Finite Element Method. Eds.: H. W. Engl, U. Langer ps-file
00-32: Kaltenbacher, B., Kaltenbacher, M.: Identification of Piezoelectric Material Parameters. Eds.: U. Langer, R. Lerch ps-file
00-33: Haase, G., Langer, U., Reitzinger, S., Schöberl, J.: A General Approach to Algebraic Multigrid Methods. Eds.: H. W. Engl, J. Volkert ps-file
00-34: Mühlhuber, W.: Optimal Sizing Using Automatic Differentiation. Eds.: H. W. Engl, U. Langer ps-file
00-35: Bodnár, G., Pau, P., Schicho, J.: Exact Real Computation in Computer Algebra. Eds.: B. Buchberger, F. Winkler ps-file
00-36: Baumeister, J., Leitão, A.: Optimal exploitation of renewable resource stocks: Necessary conditions. Eds.: H. W. Engl, U. Langer ps-file
00-37: Hähner, P., Hohage, T.: New stability estimates for the inverse acoustic inhomogeneous medium problem and applications. Eds.: H. W. Engl, U. Langer ps-file
00-38: Engl, H.W., Leitão, A.: A Mann iterative regularization method for elliptic Cauchy Problems. Eds.: U. Langer, O. Scherzer ps-file
00-39: Engl, H.W., Kügler, P.: Identification of a Temperature Dependent Heat Conductivity by Tikhonov Regularization. Eds.: B. Buchberger, U. Langer ps-file

i1999

99-1: Radmoser, E., Scherzer, O. and Weickert, J.: Scale-Space Properties of Regularization Methods. March 1999. Eds.: J. Volkert, U. Langer ps-file
99-2: Buchberger, B. and Langer, U.: Annual Report of the SFB F013: 1.4.98-31.12.98. March 1999. ps-file
99-3: Schöberl, J.: Multigrid Methods for a Class of Parameter Dependent Problems in Primal Variables. March 1999. Eds.: U. Langer, O. Scherzer ps-file
99-4: Hillgarter, E.: The Classification Problem for (Point) Symmetries of 2nd Order PDEs in one Dependent and two Independent Variables. April 1999. Eds.: U. Langer, F. Winkler ps-file
99-5: Haase, G.: A Parallel AMG for Overlapping and Non-Overlapping Domain Decomposition June 1999. Eds.: U. Langer, J. Volkert ps-file
99-6: Chyzak, F.: Holonomic Functions in Computer Algebra, Slides of a Series of Talks. June 1999. Eds.: P. Paule, F. Winkler ps-file
99-7: Stoyan, G.: Optimal Iterative Stokes Solvers in the Harmonic Velte Subspace. June 1999. Eds.: U. Langer, O. Scherzer ps-file
99-8: Burger, M. and Scherzer, O.: Regularization Methods for Blind Deconvolution and Blind Source Separation Problems. June 1999. Eds.: H. W. Engl, U. Langer ps-file
99-9: Hohage, T.: Iterative Regularization Methods in Inverse Scattering. July 1999. Eds.: H. W. Engl, U. Langer ps-file
99-10: Schicho, J., Tesácek, A.: An Improved Projection Operator for CAD using Groebner Bases. August 1999. Eds.: P. Paule, F. Winkler ps-file
99-11: P. Pau and Schicho, J.: Quantifier Elimination for Trigonometric Polynomials by Cylindrical Trigonometric Decomposition. August 1999. Eds.: P. Paule, F. Winkler ps-file
99-12: Schicho, J.: Proper Parametrization of Real Algebraic Surfaces. August 1999. Eds.: P. Paule, F. Winkler ps-file
99-13: Kuhn, M., Langer, U. and Schöberl, J.: Scientific Computing Tools for 3D Magnetic Field Problems. August 1999. Eds.: R. Lerch, J. Volkert ps-file
99-14: Chyzak, F., Paule, P., Scherzer, O., Schoisswohl, A. and Zimmermann, B.: The construction of orthonormal wavelets using symbolic methods and a matrix analytical approach for wavelets on the interval. August 1999. Eds.: B. Buchberger, U. Langer ps-file
99-15: Schneider, C.: An Implementation of Karr's Summation Algorithm in Mathematica. August 1999. Eds.: P. Paule, J. Schicho ps-file
99-16: Caruso, F.: A Macsyma Implementation of Zeilberger's Fast Algorithm. August 1999. Eds.: P. Paule, J. Schicho ps-file
99-17: Groetsch, C.W. and Scherzer, O.: Nonstationary Iterated Tikhonov-Morzov Method and Third Order Differential Equations for the Evaluation of Unbounded Operators. Eds.: H. Irschik, U. Langer ps-file
99-18: Reitzinger, S.: Algebraic Multigrid and Element Preconditioning II. October 1999. Eds.: U. Langer, O. Scherzer ps-file
99-19: Hohage, T.: Regularisation of Exponentially Ill-Posed Problems. November 1999. Eds.: H.W. Engl, U. Langer ps-file
99-20: Kaltenbacher, B.: On a Multigrid Method for Ill-Posed Problems. November 1999. Eds.: H.W. Engl, U. Langer ps-file
99-21: Burger, M.: Iterative Regularization of a Parameter Identification Problem occurring in Polymer Crystallization. December 1999. Eds.: H.W. Engl, E. Lindner ps-file
99-22: Hillgarter, E., Landsmann, G., Schicho, J. and Winkler, F.: Generalized Offsets as Envelopes of a One-parameter Set of Spheres. December 1999. Eds.: J. Schicho, F. Winkler ps-file
99-23: Haase, G., Kuhn, M. and Langer, U.: Parallel Multigrid 3D Maxwell Solvers. December 1999. Eds.: R. Lerch, J. Volkert ps-file
99-24: Andrews, G. E., Paule, P., Riese, A.: MacMahon's Partition Analysis III: The Omega Package. December 1999. Eds.: B. Buchberger, F. Winkler ps-file
99-25: Andrews, G. E., Knopfmacher, A., Paule, P.: An Infinite Family of Engel Expansions of Rogers-Ramanujan Type. December 1999. Eds.: B. Buchberger, F. Winkler ps-file
99-26: Andrews, G. E., Paule, P.: MacMahon's Partition Analysis IV: Hypergeometric Multisums. December 1999. Eds.: B. Buchberger, F. Winkler ps-file
99-27: Chyzak, F., Gutman, I., Paule, P.: Predicting the Number of Hexagonal Systems with and Hexagons December 1999. Eds.: B. Buchberger, F. Winkler ps-file
99-28: Kuhn, M., Steinbach, O.: FEM-BEM Coupling for 3D Exterior Magnetic Field Problems. December 1999. Eds.: H.W. Engl, U. Langer ps-file
99-29: Haase, G.: Algebraic Multigrid with Local Support. December 1999. Eds.: H.W. Engl, U. Langer ps-file
99-30: Schinnerl, M., Schöberl, J.: Multigrid Methods for the 3D Simulation of Nonlinear Magneto-Mechanical Systems. December 1999. Eds.: U. Langer, R. Lerch ps-file
99-31: Winkler, F.: Abstracts of the Workshop ``Symbolic and Numerical Scientific Computation'' (SNSC'99) August 18-20, 1999. December 1999. Eds.: B. Buchberger, F. Winkler ps-file
99-32: Konev, B.: Metavariable Method for Natural Deduction Within Theorema December 1999. Eds.: B. Buchberger, P. Paule ps-file
99-33: Kossak, F. and Nakagawa, K.: User System Interaction Within Theorema December 1999. Eds.: B. Buchberger, P. Paule ps-file
99-34: Windsteiger, W.: Building up Hierarchical Mathematical Domains Using Functors in Mathmatica December 1999. Eds.: B. Buchberger, P. Paule ps-file
99-35: Buchberger, B., Dupré, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D., and Windsteiger, W.: Theorema: A Progress Report December 1999. Eds.: P. Paule, F. Winkler ps-file
99-36: Buchberger, B. and Jebelean, T.: Distance Teaching of Mathematics Using Theorema December 1999. Eds.: P. Paule, F. Winkler ps-file
99-37: Buchberger, B., Dupré, C., Jebelean, T., Kriftner, F., Nakagawa, K., Vasaru, D., and Windsteiger, W.: Theorema: A Short Demo December 1999. Eds.: P. Paule, F. Winkler README-file, notebook-file
99-38: Buchberger, B.: Theory Exploration Versus Theorem Proving December 1999. Eds.: P. Paule, F. Winkler README-file, notebook-file
99-39: Buchberger, B.: Mathematik am Computer: Die nächste Überforderung? December 1999. Eds.: P. Paule, F. Winkler README-file, notebook-file

1998

98-0: Tomuta, E. and Buchberger, B.: Combining Provers in the Theorema System. April, 1998. Eds.: P. Paule, F. Winkler ps-file
98-0: Schicho, J.: Rational Parameterization of Real Algebraic Surfaces. April 1998. (also RISC-Rep 98-01) Eds.: P.Paule, F. Winkler ps-file
98-0: Ratschan, S.: ''Approximate'' Logic - An Overview. April 1998. (also RISC-Rep 98-08) Eds.: J. Schicho, F. Winkler ps-file
98-0: Buchberger, B.: Theorema: Theorem Proving for the Masses Using Mathematica. June 1998. Eds.: P. Paule, F. Winkler ps-file
98-0: Buchberger, B., Jebelean, T. and Vasaru, D.: Theorema: A System for Formal Scientific Training in Natural Language Presentation. June 1998. Eds.: P. Paule, F. Winkler ps-file
98-0: Buchberger, B., Aigner, K., Dupré, C., Jebelean, T., Kriftner, F., Marin, M., Nakagawa, K., Podisor, O., Tomuta, E., Usenko, Y., Vasaru, D. and Windsteiger W.: Theorema: An Integrated System for Computation and Deduction in Natural Style. July 1998. Eds.: P. Paule, F. Winkler ps-file
98-0: Buchberger, B. and Windsteiger W.: The Theorema Language: Implementing the Object- and Meta-Level Usage of Symbols. July 1998. Eds.: P. Paule, F. Winkler ps-file
98-0: Tomuta, E.: An Architecture for Combining Provers and its Applications in the Theorema System. July 1998. Eds.: P. Paule, F. Winkler ps-file
98-0: Kurka, G.: Graphical and Arithmetical Benchmarking of Workstations. September 1998. Eds.: U. Langer, J. Volkert ps-file
98-0: Engl, H.W. and Zou, J.: Stability and Convergence Analysis of Tikhonov Regularization for Parameter Identification in a Parabolic Equation. October 1998. Eds.: B. Buchberger, U. Langer ps-file
98-0: Kurka, G.: A fast Visualization System for Adaptive Grids. October 1998. Eds.: U. Langer, J. Volkert ps-file
98-0: Hemmecke, R., Hillgarter, E., Schreiner, W. and Winkler, F.: An Evaluation of the State of the CASA System. October 1998. (also RISC-Rep. 98-16) Eds.: B. Buchberger, P. Paule ps-file
98-0: Kaltenbacher, B.: A Projection-Regularized Newton Method for Nonlinear Ill-Posed Problems and its Application to Parameter Identification Problems with Finite Element Discretization. November 1998. Eds.: H.W. Engl, U. Langer ps-file
98-0: Haase, G. and Kuhn, M.: Preprocessing for 2D FE-BE Domain Decomposition Methods. December 1998. Eds.: U. Langer, J. Volkert ps-file
98-0: Reitzinger, S.: Algebraic Multigrid and Element Preconditioning I. December 1998. Eds.: U. Langer, O. Scherzer ps-file
98-0: Sendra J.R. and Winkler, F.: Algorithms for Rational Real Algebraic Curves. December 1998. Eds.: B. Buchberger, P. Paule ps-file

The complete lists since 1998 can be found at http://www.sfb013.uni-linz.ac.at

Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund