Cargando…

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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ganzha, Victor G. (Editor ), Mayr, Ernst W. (Editor ), Vorozhtsov, Evgenii V. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3718
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-540-32070-8
003 DE-He213
005 20230406033651.0
007 cr nn 008mamaa
008 100317s2005 gw | s |||| 0|eng d
020 |a 9783540320708  |9 978-3-540-32070-8 
024 7 |a 10.1007/11555964  |2 doi 
050 4 |a QA76.9.M35 
072 7 |a UYAM  |2 bicssc 
072 7 |a COM018000  |2 bisacsh 
072 7 |a UYAM  |2 thema 
082 0 4 |a 004.0151  |2 23 
245 1 0 |a Computer Algebra in Scientific Computing  |h [electronic resource] :  |b 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /  |c edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. 
250 |a 1st ed. 2005. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2005. 
300 |a XII, 504 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 3718 
505 0 |a 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. 
650 0 |a Computer science-Mathematics. 
650 0 |a Algebra. 
650 0 |a Computer programming. 
650 0 |a Discrete mathematics. 
650 0 |a Algorithms. 
650 1 4 |a Mathematics of Computing. 
650 2 4 |a Algebra. 
650 2 4 |a Symbolic and Algebraic Manipulation. 
650 2 4 |a Programming Techniques. 
650 2 4 |a Discrete Mathematics in Computer Science. 
650 2 4 |a Algorithms. 
700 1 |a Ganzha, Victor G.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Mayr, Ernst W.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Vorozhtsov, Evgenii V.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783540815709 
776 0 8 |i Printed edition:  |z 9783540289661 
830 0 |a Theoretical Computer Science and General Issues,  |x 2512-2029 ;  |v 3718 
856 4 0 |u https://doi.uam.elogim.com/10.1007/11555964  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)