000 05451nam a22006135i 4500
001 978-3-540-32070-8
003 DE-He213
005 20240730185119.0
007 cr nn 008mamaa
008 100317s2005 gw | s |||| 0|eng d
020 _a9783540320708
_9978-3-540-32070-8
024 7 _a10.1007/11555964
_2doi
050 4 _aQA76.9.M35
072 7 _aUYAM
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYAM
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aComputer Algebra in Scientific Computing
_h[electronic resource] :
_b8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /
_cedited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 504 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3718
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 Eigenvaluesof 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.
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aAlgebra.
_921222
650 0 _aComputer programming.
_94169
650 0 _aDiscrete mathematics.
_912873
650 0 _aAlgorithms.
_93390
650 1 4 _aMathematics of Computing.
_931875
650 2 4 _aAlgebra.
_921222
650 2 4 _aSymbolic and Algebraic Manipulation.
_955589
650 2 4 _aProgramming Techniques.
_9137992
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aAlgorithms.
_93390
700 1 _aGanzha, Victor G.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137993
700 1 _aMayr, Ernst W.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137994
700 1 _aVorozhtsov, Evgenii V.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9137995
710 2 _aSpringerLink (Online service)
_9137996
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540289661
776 0 8 _iPrinted edition:
_z9783540815709
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3718
_9137997
856 4 0 _uhttps://doi.org/10.1007/11555964
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c92654
_d92654