The Resource Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)
Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)
Resource Information
The item Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Sydney Jones Library, University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Sydney Jones Library, University of Liverpool.
This item is available to borrow from 1 library branch.
 Summary
 This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolicnumerical 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
 Language
 eng
 Extent
 1 online resource.
 Contents

 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 Quantifierfree Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
 The vanishing ideal of a finite set of points with multiplicity structures
 Signaturebased Method of Deciding Program Termination
 Highprecision eigenvalue bound for the Laplacian with singularities
 Degree and dimension estimates for invariant ideals of Psolvable recurrences
 POLY : A new polynomial data structure for Maple 17
 A Symbolic Approach to Compute a NullSpace Basis in the Projection Method
 Real Root Isolation of Polynomial Equations Based on Hybrid Computation
 Overview of the Mathemagix type system
 ResultantFree Computation of Indefinite Hyperexponential Integrals
 ImUp: A Maple Package for UniformityImproved 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 NullSpace Basis in the Projection Method
 Real Root Isolation of Regular Chains
 A Practical Method for Floatingpoint Groebner Basis Computation
 SeriesExpansion 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
 Isbn
 9783662437988
 Label
 Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks
 Title
 Computer mathematics
 Title remainder
 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks
 Statement of responsibility
 edited by Ruyong Feng, Wenshin Lee, Yosuke Sato
 Language
 eng
 Summary
 This book covers original research and the latest advances in symbolic, algebraic and geometric computation; computational methods for differential and difference equations, symbolicnumerical 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
 Cataloging source
 GW5XE
 Dewey number
 004.0151
 Illustrations
 illustrations
 Index
 no index present
 LC call number
 QA76.9.M35
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 2009
 http://bibfra.me/vocab/lite/meetingName
 Asian Symposium on Computer Mathematics
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 2012
 http://library.link/vocab/relatedWorkOrContributorName

 Feng, Ruyong
 Lee, Wenshin
 Sato, Yosuke
 Asian Symposium on Computer Mathematics
 http://library.link/vocab/subjectName

 Computer science
 COMPUTERS / Computer Literacy
 COMPUTERS / Computer Science
 COMPUTERS / Data Processing
 COMPUTERS / Hardware / General
 COMPUTERS / Information Technology
 COMPUTERS / Machine Theory
 COMPUTERS / Reference
 Label
 Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Color
 multicolored
 Contents
 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 Quantifierfree Formula of Positive Semidefinite Cyclic Ternary Quartic Forms  The vanishing ideal of a finite set of points with multiplicity structures  Signaturebased Method of Deciding Program Termination  Highprecision eigenvalue bound for the Laplacian with singularities  Degree and dimension estimates for invariant ideals of Psolvable recurrences  POLY : A new polynomial data structure for Maple 17  A Symbolic Approach to Compute a NullSpace Basis in the Projection Method  Real Root Isolation of Polynomial Equations Based on Hybrid Computation  Overview of the Mathemagix type system  ResultantFree Computation of Indefinite Hyperexponential Integrals  ImUp: A Maple Package for UniformityImproved 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 NullSpace Basis in the Projection Method  Real Root Isolation of Regular Chains  A Practical Method for Floatingpoint Groebner Basis Computation  SeriesExpansion 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
 Control code
 SPR892734240
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783662437988
 Level of compression
 unknown
 Other control number
 10.1007/9783662437995
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Reproduction note
 Electronic resource.
 Sound
 unknown sound
 Specific material designation
 remote
 Label
 Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Color
 multicolored
 Contents
 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 Quantifierfree Formula of Positive Semidefinite Cyclic Ternary Quartic Forms  The vanishing ideal of a finite set of points with multiplicity structures  Signaturebased Method of Deciding Program Termination  Highprecision eigenvalue bound for the Laplacian with singularities  Degree and dimension estimates for invariant ideals of Psolvable recurrences  POLY : A new polynomial data structure for Maple 17  A Symbolic Approach to Compute a NullSpace Basis in the Projection Method  Real Root Isolation of Polynomial Equations Based on Hybrid Computation  Overview of the Mathemagix type system  ResultantFree Computation of Indefinite Hyperexponential Integrals  ImUp: A Maple Package for UniformityImproved 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 NullSpace Basis in the Projection Method  Real Root Isolation of Regular Chains  A Practical Method for Floatingpoint Groebner Basis Computation  SeriesExpansion 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
 Control code
 SPR892734240
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783662437988
 Level of compression
 unknown
 Other control number
 10.1007/9783662437995
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Reproduction note
 Electronic resource.
 Sound
 unknown sound
 Specific material designation
 remote
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Computermathematics9thAsianSymposium/X1qJoGsHr7Q/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Computermathematics9thAsianSymposium/X1qJoGsHr7Q/">Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Computermathematics9thAsianSymposium/X1qJoGsHr7Q/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Computermathematics9thAsianSymposium/X1qJoGsHr7Q/">Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks, edited by Ruyong Feng, Wenshin Lee, Yosuke Sato, (electronic book)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">Sydney Jones Library, University of Liverpool</a></span></span></span></span></div>