000 04772nam a22003975i 4500
001 296954
003 MX-SnUAN
005 20160429155355.0
007 cr nn 008mamaa
008 150903s2006 gw | o |||| 0|eng d
020 _a9783540451952
_99783540451952
024 7 _a10.1007/11870814
_2doi
035 _avtls000349548
039 9 _a201509030730
_bVLOAD
_c201404121230
_dVLOAD
_c201404091007
_dVLOAD
_y201402071205
_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 :
_b9th International Workshop, CASC 2006, Chi?in?u, Moldova, September 11-15, 2006. Proceedings /
_cedited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2006.
300 _axI, 313 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 ;
_v4194
500 _aSpringer eBooks
505 0 _aComparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic Perturbation Lemma -- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals for Some Organic Crystals -- On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions -- Providing Modern Software Environments to Computer Algebra Systems -- The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus and Gröbner Bases: Not Only a Divertimento -- Simplicial Perturbation Techniques and Effective Homology -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem -- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field -- On Decomposition of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory Integrals with Convex Phases -- Cellular Automata with Symmetric Local Rules -- Parallel Laplace Method with Assured Accuracy for Solutions of Differential Equations by Symbolic Computations -- On Connection Between Constructive Involutive Divisions and Monomial Orderings -- A Symbolic-Numeric Approach to Tube Modeling in CAD Systems -- Inequalities on Upper Bounds for Real Polynomial Roots -- New Domains for Applied Quantifier Elimination -- Algorithms for Symbolic Polynomials -- Testing Mersenne Primes with Elliptic Curves.
520 _aThis book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006, held in Chisinau, Moldova, in September 2006. The 25 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. 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 Gröbner bases, polynomial algebra, homological algebra, quantifier elimination, the applications of computer algebra systems in the field of the solution of differential equations, celestial mechanics, Newton polyhedra, mathematical physics, nuclear physics, and fluid dynamics. Novel themes also addressed are the application of computer algebra techniques in the field of nanosciences and nanotechnology as well as the application of CA methods to cellular automata with symmetrical local rules.
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:
_z9783540451822
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/11870814
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c296954
_d296954