000 05419nam a22003975i 4500
001 297991
003 MX-SnUAN
005 20160429155443.0
007 cr nn 008mamaa
008 150903s2007 gw | o |||| 0|eng d
020 _a9783540751878
_99783540751878
024 7 _a10.1007/9783540751878
_2doi
035 _avtls000351030
039 9 _a201509030504
_bVLOAD
_c201405060244
_dVLOAD
_y201402171111
_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 :
_b10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings /
_cedited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2007.
300 _axiii, 460 páginas
_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 ;
_v4770
500 _aSpringer eBooks
505 0 _aAnalytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds -- An Efficient LLL Gram Using Buffered Transformations -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular Decomposition -- Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations -- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical’ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory -- Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases -- On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game -- Properties of the Liapunov Stability Zones of the Lagrange Triangle -- Studying the Stability of the Second Order Non-autonomous Hamiltonian System -- On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems -- A Unified Algorithm for Multivariate Analytic Factorization -- On the Computation of the Defining Polynomial of the Algebraic Riccati Equation -- Symmetries and Dynamics of Discrete Systems -- Exact Solutions of Completely Integrable Systems and Linear ODE’s Having Elliptic Function Coefficients -- Dynamics of Nonlinear Parabolic Equations with Cosymmetry -- Weak Integer Quantifier Elimination Beyond the Linear Case -- Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors -- Ruppert Matrix as Subresultant Mapping -- Construction of Computer System for Microobjects Recognition Based on Neural Networks -- Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some Elimination Problems for Matrices -- A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form -- Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple -- Bounds for Real Roots and Applications to Orthogonal Polynomials -- Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n -- Robust Stability for Parametric Linear ODEs -- Symbolic and Algebraic Methods for Linear Partial Differential Operators -- A New Scheme for Deniable/Repudiable Authentication -- An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks -- On the Representation of the Differential Operator in Bases of Periodic Coiflets and It’s Application.
520 _aThis book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The volume is dedicated to Professor Vladimir P. Gerdt on the occasion of his 60th birthday. The 35 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. Topics addressed are studies in polynomial and matrix algebra, quantifier elimination, and Gröbner bases, as well as stability investigation of both differential equations and difference methods for them. Several papers are devoted to the application of computer algebra methods and algorithms to the derivation of new mathematical models in biology and in mathematical physics.
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:
_z9783540751861
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-75187-8
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c297991
_d297991