000 05953nam a22003975i 4500
001 295143
003 MX-SnUAN
005 20160429155216.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540320708
_99783540320708
024 7 _a10.1007/11555964
_2doi
035 _avtls000348177
039 9 _a201509030740
_bVLOAD
_c201404121044
_dVLOAD
_c201404090821
_dVLOAD
_y201402071021
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.9.M35
100 1 _aGanzha, Victor G.
_eeditor.
_9329344
245 1 0 _aComputer Algebra in Scientific Computing :
_b8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings /
_cedited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _axii, 502 páginas Also available online.
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3718
500 _aSpringer eBooks
505 0 _aOn 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.
520 _aThis book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005. The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aMayr, Ernst W.
_eeditor.
_9324609
700 1 _aVorozhtsov, Evgenii V.
_eeditor.
_9324610
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540289661
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/11555964
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c295143
_d295143