Normal view
MARC view
Computer Mathematics (Record no. 403343)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 04877nam a22005055i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000545456 |
005 - Дата корректировки | |
Контрольное поле | 20210922083353.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 160915s2014 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783662437995 |
-- | 978-3-662-43799-5 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-662-43799-5 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000545456 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA71-90 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | PBKS |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | MAT006000 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 518 |
Номер издания | 23 |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 518 |
Номер издания | 23 |
245 10 - Заглавие | |
Заглавие | Computer Mathematics |
Физический носитель | electronic resource |
Продолж. заглавия | 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks / |
Ответственность | edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato. |
260 ## - Выходные данные | |
Место издания | Berlin, Heidelberg : |
Издательство | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Дата издания | 2014. |
300 ## - Физическое описание | |
Объем | XVI, 503 p. 54 illus. |
Иллюстрации/тип воспроизводства | online resource. |
336 ## - Тип содержимого | |
Тип содержимого | text |
Content type code | txt |
Source | rdacontent |
337 ## - Средство доступа | |
Средство доступа | computer |
Media type code | c |
Source | rdamedia |
338 ## - Тип носителя | |
Тип носителя | online resource |
Carrier type code | cr |
Source | rdacarrier |
505 0# - Примечание о содержании | |
Содержание | Sparse 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 ## - Аннотация | |
Аннотация | This 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 - Тематические рубрики | |
Основная рубрика | mathematics. |
9 (RLIN) | 566183 |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer science |
Основная подрубрика | Mathematics. |
9 (RLIN) | 304486 |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer software. |
9 (RLIN) | 303280 |
650 14 - Тематические рубрики | |
Основная рубрика | Mathematics. |
9 (RLIN) | 566184 |
650 24 - Тематические рубрики | |
Основная рубрика | Computational Mathematics and Numerical Analysis. |
9 (RLIN) | 303505 |
650 24 - Тематические рубрики | |
Основная рубрика | Computational Science and Engineering. |
9 (RLIN) | 304944 |
650 24 - Тематические рубрики | |
Основная рубрика | Mathematical Software. |
9 (RLIN) | 303285 |
700 1# - Другие авторы | |
Другие авторы | Feng, Ruyong. |
Роль лиц | editor. |
9 (RLIN) | 454018 |
700 1# - Другие авторы | |
Другие авторы | Lee, Wen-shin. |
Роль лиц | editor. |
9 (RLIN) | 454019 |
700 1# - Другие авторы | |
Другие авторы | Sato, Yosuke. |
Роль лиц | editor. |
9 (RLIN) | 454020 |
710 2# - Другие организации | |
Организация/юрисдикция | SpringerLink (Online service) |
9 (RLIN) | 143950 |
773 0# - Источник информации | |
Название источника | Springer eBooks |
856 40 - Электронный адрес документа | |
URL | <a href="http://dx.doi.org/10.1007/978-3-662-43799-5">http://dx.doi.org/10.1007/978-3-662-43799-5</a> |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SMA |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 403343 |
No items available.