The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual 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 $q$-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 $hp$-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 $p$-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 $n$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 $hp$ 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 $B-H$ 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 $q$-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 $q$-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, $q$-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 $B-H$ 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.: $q$-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 $q$-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 $24$ and $25$ 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-1
Tomuta, E. and Buchberger, B.: Combining Provers in the Theorema System. April, 1998. Eds.: P. Paule, F. Winkler ps-file
98-2
Schicho, J.: Rational Parameterization of Real Algebraic Surfaces. April 1998. (also RISC-Rep 98-01) Eds.: P.Paule, F. Winkler ps-file
98-3
Ratschan, S.: ''Approximate'' Logic - An Overview. April 1998. (also RISC-Rep 98-08) Eds.: J. Schicho, F. Winkler ps-file
98-4
Buchberger, B.: Theorema: Theorem Proving for the Masses Using Mathematica. June 1998. Eds.: P. Paule, F. Winkler ps-file
98-5
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-6
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-7
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-8
Tomuta, E.: An Architecture for Combining Provers and its Applications in the Theorema System. July 1998. Eds.: P. Paule, F. Winkler ps-file
98-9
Kurka, G.: Graphical and Arithmetical Benchmarking of Workstations. September 1998. Eds.: U. Langer, J. Volkert ps-file
98-10
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-11
Kurka, G.: A fast Visualization System for Adaptive Grids. October 1998. Eds.: U. Langer, J. Volkert ps-file
98-12
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-13
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-14
Haase, G. and Kuhn, M.: Preprocessing for 2D FE-BE Domain Decomposition Methods. December 1998. Eds.: U. Langer, J. Volkert ps-file
98-15
Reitzinger, S.: Algebraic Multigrid and Element Preconditioning I. December 1998. Eds.: U. Langer, O. Scherzer ps-file
98-16
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