LEADER 06063nam 22008295 450 001 9910484100603321 005 20251226200403.0 010 $a3-540-75187-4 024 7 $a10.1007/978-3-540-75187-8 035 $a(CKB)1000000000490398 035 $a(SSID)ssj0000316853 035 $a(PQKBManifestationID)11923499 035 $a(PQKBTitleCode)TC0000316853 035 $a(PQKBWorkID)10275629 035 $a(PQKB)10226573 035 $a(DE-He213)978-3-540-75187-8 035 $a(MiAaPQ)EBC3063378 035 $a(MiAaPQ)EBC6711183 035 $a(Au-PeEL)EBL6711183 035 $a(OCoLC)184953616 035 $a(PPN)123165318 035 $a(MiAaPQ)EBC337216 035 $a(BIP)32372707 035 $a(BIP)14495494 035 $a(EXLCZ)991000000000490398 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Algebra in Scientific Computing $e10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /$fedited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XIII, 460 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4770 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-75186-6 320 $aIncludes bibliographical references and index. 327 $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 ofComputer 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. 330 $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 papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4770 606 $aComputer science$xMathematics 606 $aComputer programming 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aSymbolic and Algebraic Manipulation 606 $aProgramming Techniques 606 $aDiscrete Mathematics in Computer Science 606 $aAlgorithms 606 $aMathematical Applications in Computer Science 615 0$aComputer science$xMathematics. 615 0$aComputer programming. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 14$aSymbolic and Algebraic Manipulation. 615 24$aProgramming Techniques. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithms. 615 24$aMathematical Applications in Computer Science. 676 $a512.00285 702 $aGanzha$b V. G$g(Victor Grigor?evich),$f1956- 702 $aMayr$b Ernst 702 $aVorozhtsov$b E. V$g(Evgenii Vasil?evich),$f1946- 712 12$aWorkshop on Computer Algebra in Scientific Computing 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484100603321 996 $aComputer Algebra in Scientific Computing$9772100 997 $aUNINA