Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ganzha, Victor G. (Επιμελητής έκδοσης), Mayr, Ernst W. (Επιμελητής έκδοσης), Vorozhtsov, Evgenii V. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3718
• Θέματα: Computer science.; Computer programming.; Algorithms.; Computer science > Mathematics.; Algebra.; Computer Science.; Mathematics of Computing.; Symbolic and Algebraic Manipulation.; Programming Techniques.; Discrete Mathematics in Computer Science.; Algorithm Analysis and Problem Complexity.

Πίνακας περιεχομένων:

• On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems
• Computing the Betti Numbers of Arrangements in Practice
• A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method
• RelView – An OBDD-Based Computer Algebra System for Relations
• On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups
• Normal Forms and Integrability of ODE Systems
• Resultant-Based Methods for Plane Curves Intersection Problems
• Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion
• Generation of Orthogonal Grids on Curvilinear Trimmed Regions in Constant Time
• Computer Algebra in Nanosciences: Modeling Electronic States in Quantum Dots
• Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials
• A Descartes Algorithm for Polynomials with Bit-Stream Coefficients
• Real Solving of Bivariate Polynomial Systems
• Nouvelle Cuisine for the Computation of the Annihilating Ideal of f s
• Janet-Like Monomial Division
• Janet-Like Gröbner Bases
• Circulant Digraphs and Monomial Ideals
• Algebraic Topological Analysis of Time-Sequence of Digital Images
• Hilbert Stratification and Parametric Gröbner Bases
• Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem
• Symbolic-Numerical Algorithm for Solving the Time-Dependent Schrödinger Equation by Split-Operator Method
• On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid
• On Compatibility of Discrete Relations
• Construction of Two Level Orthogonal Arrays Via Solutions of Linear Systems
• Counting Techniques Specifying the Existence of Submatrices in Weighing Matrices
• Fast Verification for Respective Eigenvalues of Symmetric Matrix
• Towards More Accurate Separation Bounds of Empirical Polynomials II
• Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library
• Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies
• The Diamond Operator – Implementation of Exact Real Algebraic Numbers
• Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System
• Nonlinear Waves in a Rod
• A Symbolic-Numeric Method for Solving Boundary Value Problems of Kirchhoff Rods
• Differential and Difference Equations for Products of Classical Orthogonal Polynomials
• Algorithm of Local Resolution of Singularities of a Space Curve
• Quantifier Elimination for Constraint Logic Programming
• Computation of Full Comprehensive Gröbner Bases
• Recursive Polynomial Remainder Sequence and the Nested Subresultants
• Interdependence Between the Laurent-Series and Elliptic Solutions of Nonintegrable Systems
• Solving Linear Differential Problems with Parameters
• Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate.