Computer Mathematics
Editor
- Ruyong Feng(Academy of Mathematics & System Science)Wen-shin Lee(University of Antwerp, Department of Mathematics and Computer S)Yosuke Sato(Tokyo University of Science, Department of Mathematical Information S)
Abstract
No abstract is available for this item.Individual chapters are listed in the "Chapters" tab
Suggested Citation
- Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), 2014. "Computer Mathematics," Springer Books, Springer, edition 127, number 978-3-662-43799-5, March.
Handle: RePEc:spr:sprbok:978-3-662-43799-5
DOI: 10.1007/978-3-662-43799-5
Download full text from publisher
To our knowledge, this item is not available for download. To find whether it is available, there are three options:1. Check below whether another version of this item is available online.
2. Check on the provider's web page whether it is in fact available.
3. Perform a for a similarly titled item that would be available.
Book Chapters
The following chapters of this book are listed in IDEAS- Erich L. Kaltofen, 2014. "Symbolic Computation and Complexity Theory Transcript of My Talk," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 3-7, Springer.
- Josef Schicho, 2014. "Factorization of Motions," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 9-11, Springer.
- Yoshinori Aono, 2014. "Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 15-32, Springer.
- François Boulier & Changbo Chen & François Lemaire & Marc Moreno Maza, 2014. "Real Root Isolation of Regular Chains," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 33-48, Springer.
- Howard Cheng & George Labahn, 2014. "A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 49-59, Springer.
- Mark Giesbrecht & George Labahn & Yang Zhang, 2014. "Computing Popov Forms of Matrices Over PBW Extensions," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 61-65, Springer.
- Akinari Hoshi, 2014. "On the Simplest Quartic Fields and Related Thue Equations," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 67-85, Springer.
- Shutaro Inoue & Akira Nagai, 2014. "On the Implementation of Boolean Gröbner Bases," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 87-92, Springer.
- Heinz Kredel, 2014. "Comprehensive Gröbner Bases in a Java Computer Algebra System," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 93-108, Springer.
- Tateaki Sasaki, 2014. "A Practical Method for Floating-Point Gröbner Basis Computation," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 109-124, Springer.
- Tateaki Sasaki & Daiju Inaba, 2014. "Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 125-140, Springer.
- Hiroshi Sekigawa, 2014. "A Sequence of Nearest Polynomials with Given Factors," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 141-145, Springer.
- Petr Sojka, 2014. "Digitization Workflow in the Czech Digital Mathematics Library," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 147-156, Springer.
- Yao Sun & Dingkang Wang, 2014. "The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 157-169, Springer.
- C. Xiong & T. W. Kelsey & S. A. Linton & U. Leonhardt, 2014. "Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 171-180, Springer.
- Brice Boyer & Matthew T. Comer & Erich L. Kaltofen, 2014. "Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 183-197, Springer.
- Changbo Chen & Marc Moreno Maza, 2014. "An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 199-221, Springer.
- Liangyu Chen & Tuo Leng & Liyong Shen & Min Wu & Zhengfeng Yang & Zhenbing Zeng, 2014. "Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 223-241, Springer.
- Mark Giesbrecht & Nam Pham, 2014. "A Symbolic Approach to Compute a Null-Space Basis in the Projection Method," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 243-259, Springer.
- Jingjun Han, 2014. "A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 261-274, Springer.
- Na Lei & Xiaopeng Zheng & Yuxue Ren, 2014. "The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 275-296, Springer.
- Yaohui Li & Yuqing Song & Zhifeng Wu, 2014. "Signature-Based Method of Deciding Program Termination," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 297-310, Springer.
- Xuefeng Liu & Tomoaki Okayama & Shin’ichi Oishi, 2014. "High-Precision Eigenvalue Bound for the Laplacian with Singularities," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 311-323, Springer.
- Michael Monagan & Roman Pearce, 2014. "POLY: A New Polynomial Data Structure for Maple 17," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 325-348, Springer.
- Marc Moreno Maza & Rong Xiao, 2014. "Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 349-373, Springer.
- Fei Shen & Wenyuan Wu & Bican Xia, 2014. "Real Root Isolation of Polynomial Equations Based on Hybrid Computation," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 375-396, Springer.
- Joris van der Hoeven, 2014. "Overview of the Mathemagix Type System," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 397-425, Springer.
- Xiaoli Wu, 2014. "Resultant-Free Computation of Indefinite Hyperexponential Integrals," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 427-435, Springer.
- Jing Yang & Dongming Wang & Hoon Hong, 2014. "ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 437-451, Springer.
- Wen Zhang & Sanzheng Qiao & Yimin Wei, 2014. "The Diagonal Reduction Algorithm Using Fast Givens," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 453-465, Springer.
- Xiaoming Zhang & Baofeng Wu & Qingfang Jin & Zhuojun Liu, 2014. "Constructing Generalized Bent Functions from Trace Forms of Galois Rings," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 467-477, Springer.
- Zhi-Yong Zhang & Chun-Ming Yuan & Xiao-Shan Gao, 2014. "Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials," Springer Books, in: Ruyong Feng & Wen-shin Lee & Yosuke Sato (ed.), Computer Mathematics, edition 127, pages 479-503, Springer.
Corrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:sprbok:978-3-662-43799-5. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.
Printed from https://ideas.repec.org/b/spr/sprbok/978-3-662-43799-5.html