Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
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
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
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 represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
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 represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 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
 9783662437995
 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
 Subject

 COMPUTERS  Data Processing
 Mathematics
 Conference papers and proceedings
 COMPUTERS  Reference
 COMPUTERS  Hardware  General
 Electronic books
 COMPUTERS  Computer Science
 Computer science  Mathematics  Congresses
 COMPUTERS  Machine Theory
 Mathematical Software
 COMPUTERS  Information Technology
 Computer science  Mathematics
 Computational Mathematics and Numerical Analysis
 COMPUTERS  Computer Literacy
 Computational Science and Engineering
 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
 COMPUTERS
 COMPUTERS
 COMPUTERS
 COMPUTERS
 COMPUTERS
 COMPUTERS
 Computer science
 Mathematics
 Computational Mathematics and Numerical Analysis
 Computational Science and Engineering
 Mathematical Software
 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
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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
 Dimensions
 unknown
 Extent
 1 online resource
 File format
 unknown
 Form of item
 online
 Isbn
 9783662437995
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Note
 SpringerLink
 Other control number
 10.1007/9783662437995
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)892734240
 (OCoLC)ocn892734240
 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
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 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
 Dimensions
 unknown
 Extent
 1 online resource
 File format
 unknown
 Form of item
 online
 Isbn
 9783662437995
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Note
 SpringerLink
 Other control number
 10.1007/9783662437995
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)892734240
 (OCoLC)ocn892734240
Subject
 COMPUTERS  Computer Literacy
 COMPUTERS  Computer Science
 COMPUTERS  Data Processing
 COMPUTERS  Hardware  General
 COMPUTERS  Information Technology
 COMPUTERS  Machine Theory
 COMPUTERS  Reference
 Computational Mathematics and Numerical Analysis
 Computational Science and Engineering
 Computer science  Mathematics
 Computer science  Mathematics  Congresses
 Conference papers and proceedings
 Electronic books
 Mathematical Software
 Mathematics
Genre
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed (Experimental)
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.libraries.ou.edu/portal/Computermathematics9thAsianSymposium/KuOBwgC1ew/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Computermathematics9thAsianSymposium/KuOBwgC1ew/">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</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</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
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.libraries.ou.edu/portal/Computermathematics9thAsianSymposium/KuOBwgC1ew/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/Computermathematics9thAsianSymposium/KuOBwgC1ew/">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</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>