000 04877nam a22005055i 4500
001 vtls000545456
003 RU-ToGU
005 20210922083353.0
007 cr nn 008mamaa
008 160915s2014 gw | s |||| 0|eng d
020 _a9783662437995
_9978-3-662-43799-5
024 7 _a10.1007/978-3-662-43799-5
_2doi
035 _ato000545456
040 _aSpringer
_cSpringer
_dRU-ToGU
050 4 _aQA71-90
072 7 _aPBKS
_2bicssc
072 7 _aMAT006000
_2bisacsh
082 0 4 _a518
_223
082 0 4 _a518
_223
245 1 0 _aComputer Mathematics
_helectronic resource
_b9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks /
_cedited by Ruyong Feng, Wen-shin Lee, Yosuke Sato.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2014.
300 _aXVI, 503 p. 54 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
505 0 _aSparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms -- The vanishing ideal of a finite set of points with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue bound for the Laplacian with singularities -- Degree and dimension estimates for invariant ideals of P-solvable recurrences -- POLY : A new polynomial data structure for Maple 17 -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Polynomial Equations Based on Hybrid Computation -- Overview of the Mathemagix type system -- Resultant-Free Computation of Indefinite Hyperexponential Integrals -- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms over Galois Rings -- Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials -- Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis -- A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices -- Computing Popov Forms of Matrices over PBW Extensions -- On the simplest quartic fields and related Thue equations -- On the Implementation of Boolean Gröbner Bases -- Towards the calculation of Casimir forces for inhomogeneous planar media -- Comprehensive Gröbner Bases in a Java Computer Algebra System -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Regular Chains -- A Practical Method for Floating-point Groebner Basis Computation -- Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case -- A Sequence of Nearest Polynomials with Given Factors -- Digitisation Workflow in the Czech Digital Mathematics Library -- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring.
520 _aThis book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolic-numerical computation; mathematics software design and implementation; and scientific and engineering applications based on features, invited talks, special sessions and contributed papers presented at the 9th (in Fukuoka, Japan in 2009) and 10th (in Beijing China in 2012) Asian Symposium on Computer Mathematics (ASCM). Thirty selected and refereed articles in the book present the conference participants’ ideas and views on researching mathematics using computers.
650 0 _amathematics.
_9566183
650 0 _aComputer science
_xMathematics.
_9304486
650 0 _aComputer Science.
_9155490
650 0 _aComputer software.
_9303280
650 1 4 _aMathematics.
_9566184
650 2 4 _aComputational Mathematics and Numerical Analysis.
_9303505
650 2 4 _aComputational Science and Engineering.
_9304944
650 2 4 _aMathematical Software.
_9303285
700 1 _aFeng, Ruyong.
_eeditor.
_9454018
700 1 _aLee, Wen-shin.
_eeditor.
_9454019
700 1 _aSato, Yosuke.
_eeditor.
_9454020
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-662-43799-5
912 _aZDB-2-SMA
999 _c403343