Shortcuts
Please wait while page loads.
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Catalogue Display

Computer Algebra in Scientific Computing CASC 2001: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 /

Computer Algebra in Scientific Computing CASC 2001: Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 /
Catalogue Information
Field name Details
Dewey Class 518.1
Title Computer Algebra in Scientific Computing CASC 2001 ([EBook] :) : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 / / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
Added Personal Name Ganzha, Victor G. editor.
Mayr, Ernst W. editor.
Vorozhtsov, Evgenii V. editor.
Other name(s) SpringerLink (Online service)
Publication Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 2001.
Physical Details XI, 555 p. : online resource.
ISBN 9783642566660
Summary Note The book covers various topics of computer algebra methods, algorithms and software applied to scientific computing. An important topic presented in the book, which may be of interest to researchers and engineers, is the application of computer algebra methods to the development of new efficient analytic and numerical solvers, both for ordinary and partial differential equations. A specific feature of the book is an intense use of advanced software systems like Mathematica, Maple etc. for the solution of problems as outlined above and for the industrial application of computer algebra for simulation. The book will be useful for researchers and engineers who apply advanced computer algebra methods for the solution of their problems.:
Contents note Jets. A Maple-Package for Formal Differential Geometry -- Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloy -- A MuPAD Library for Differential Equation -- Algebraic Identification Algorithm and Application to Dynamical Systems -- Cooperation Between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery -- On the Stability of Steady Motions of a Solar-Sail Satellite -- Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas -- Mathematica and Nilpotent Lie Superalgebras -- Neighborhoods of an Ordinary Linear Differential Equation -- Invariants of Finite Groups and Involutive Division -- Symbolic Computation and Boundary Conditions for the Wave Equation -- Parametric Systems of Linear Congruences -- Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System -- An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations -- Recurrence Functions and Numerical Characteristics of Graphs -- A New Combinatorial Algorithm for Large Markov Chains -- GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing -- Construction of Janet Bases I.Monomial Bases -- Construction of Janet Bases II.Polynomial Bases -- Low-Dimensional Quasi-Filiform Lie Algebras with Great Length -- Algebraic Methods for Sectioning Parametric Surfaces -- The Methods of Computer Algebra and the Arnold-Moser Theorem -- Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge -- Perturbation versus Differentiation Indices -- Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals -- “Coalgebra” Structures on 1-Homological Models for Commutative Differential Graded Algebras -- Conservative Finite Difference Schemes for Cosymmetric Systems -- A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems -- A New Algorithm for Computing Cohomologies of Lie Superalgebras -- Parallel Computing with Mathematica -- Solution of Systems of Linear Diophantine Equations -- SYMOPT: Symbolic Parametric Mathematical Programming -- Representing Graph Properties by Polynomial Ideals -- Parametric G1-Blending of Several Surfaces -- A Method of Logic Deduction and Verification in KBS Using Positive Integers -- Progressive Long Waves on a Slope (A New Solution to the Euler Equation?) -- The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms -- Algebraic Predicates for Empirical Data -- Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients -- Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space -- Semilinear Motion Planning Among Moving Objects in REDLOG -- Author Index.
System details note Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site http://dx.doi.org/10.1007/978-3-642-56666-0
Links to Related Works
Subject References:
Authors:
Corporate Authors:
Classification:
Catalogue Information 43239 Beginning of record . Catalogue Information 43239 Top of page .

Reviews


This item has not been rated.    Add a Review and/or Rating43239
Quick Search