LEADER 05689nam 22007455 450 001 996465615803316 005 20230927174030.0 024 7 $a10.1007/11555964 035 $a(CKB)1000000000213254 035 $a(SSID)ssj0000316855 035 $a(PQKBManifestationID)11258551 035 $a(PQKBTitleCode)TC0000316855 035 $a(PQKBWorkID)10286408 035 $a(PQKB)10224247 035 $a(DE-He213)978-3-540-32070-8 035 $a(MiAaPQ)EBC3067739 035 $a(PPN)123097568 035 $a(EXLCZ)991000000000213254 100 $a20100317d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Algebra in Scientific Computing$b[electronic resource] $e8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /$fedited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 504 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3718 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32070-9 311 $a3-540-28966-6 320 $aIncludes bibliographical references and index. 327 $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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3718 606 $aComputer science?Mathematics 606 $aAlgebra 606 $aComputer programming 606 $aDiscrete mathematics 606 $aAlgorithms 606 $aMathematics of Computing 606 $aAlgebra 606 $aSymbolic and Algebraic Manipulation 606 $aProgramming Techniques 606 $aDiscrete Mathematics in Computer Science 606 $aAlgorithms 615 0$aComputer science?Mathematics. 615 0$aAlgebra. 615 0$aComputer programming. 615 0$aDiscrete mathematics. 615 0$aAlgorithms. 615 14$aMathematics of Computing. 615 24$aAlgebra. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aProgramming Techniques. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aAlgorithms. 676 $a512.00285 702 $aGanzha$b Victor G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMayr$b Ernst W$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVorozhtsov$b Evgenii V$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465615803316 996 $aComputer Algebra in Scientific Computing$9772100 997 $aUNISA