This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Symbolic and Numerical Scientific Computation, SNSC 2001, held in Hagenberg, Austria, in September 2001.
The 19 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on symbolics and numerics of differential equations, symbolics and numerics in algebra and geometry, and applications in physics and engineering.
Author(s): Evelyne Hubert (auth.), Franz Winkler, Ulrich Langer (eds.)
Series: Lecture Notes in Computer Science 2630
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 392
Tags: Numeric Computing; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Computer-Aided Engineering (CAD, CAE) and Design; Computational Mathematics and Numerical Analysis
Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial Systems....Pages 1-39
Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems....Pages 40-87
Passive Complete Orthonomic Systems of PDEs and Involutive Bases of Polynomial Modules....Pages 88-107
Symmetries of Second- and Third-Order Ordinary Differential Equations....Pages 108-139
Symbolic Methods for the Equivalence Problem for Systems of Implicit Ordinary Differential Equations....Pages 140-151
On the Numerical Analysis of Overdetermined Linear Partial Differential Systems....Pages 152-167
Dynamical Aspects of Involutive Bases Computations....Pages 168-182
Congestion and Almost Invariant Sets in Dynamical Systems....Pages 183-209
Datagraphs in Algebraic Geometry and K3 Surfaces....Pages 210-224
Resultants and Neighborhoods of a Polynomial....Pages 225-239
Multi-variate Polynomials and Newton-Puiseux Expansions....Pages 240-254
Wavelets with Scale Dependent Properties....Pages 255-265
Accurate Numerical Fourier Transform in d -Dimensions....Pages 266-278
Exact Real Computation in Computer Algebra....Pages 279-292
Symbolic Methods for the Element Preconditioning Technique....Pages 293-308
Solving Symbolic and Numerical Problems in the Theory of Shells with Mathematica ®....Pages 309-346
A Symbolic Procedure for the Diagonalization of Linear PDEs in Accelerated Computational Engineering....Pages 347-360
Generation of the Quasi-solitons in the Lasers: Computer Algebra Approach to an Analysis....Pages 361-374
Nonlinear Periodic Waves in Shallow Water....Pages 375-386