Numerical and Symbolic Scientific Computing

1. Approximate Implicitization of Space Curves
Martin Aigner, Bert Jüttler, Adrien Poteaux

2. Sparsity Optimized High Order Finite Element Functions on Simplices
Sven Beuchler, Veronika Pillwein, Joachim Schöberl, Sabine Zaglmayr

3. Fast Solvers and A Posteriori Error Estimates in Elastoplasticity
Peter G. Gruber, Johanna Kienesberger, Ulrich Langer, Joachim Schöberl, Jan Valdman

4. A Symbolic-Numeric Algorithm for Genus Computation
Mădălina Hodorog, Josef Schicho

5. The “Seven Dwarfs” of Symbolic Computation
Erich L. Kaltofen

6. Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations
Christoph Koutschan, Christoph Lehrenfeld, Joachim Schöberl

7. A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
Viktor Levandovskyy, Bernd Martin

8. White Noise Analysis for Stochastic Partial Differential Equations
Hermann G. Matthies

9. Smoothing Analysis of an All-at-Once Multigrid Approach for Optimal Control Problems Using Symbolic Computation
Stefan Takacs, Veronika Pillwein

10. Analytical Evaluations of Double Integral Expressions Related to Total Variation
Carsten Pontow, Otmar Scherzer

11. Sound and Complete Verification Condition Generator for Functional Recursive Programs
Nikolaj Popov, Tudor Jebelean

12. An Introduction to Automated Discovery in Geometry through Symbolic Computation
Tomas Recio, María P. Vélez

13. Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger

14. Linear Partial Differential Equations and Linear Partial Differential Operators in Computer Algebra
Ekaterina Shemyakova, Franz Winkler

Avainsanat: Mathematics, Computational Mathematics and Numerical Analysis, Algebra, Appl.Mathematics/Computational Methods of Engineering