Computer Mathematics

Feng, Ruyong; Lee, Wen-shin; Sato, Yosuke

Computer Mathematics

Edited by Ruyong Feng (), Wen-shin Lee () and Yosuke Sato ()

in Springer Books from Springer

Date: 2014
Edition: 2014
ISBN: 978-3-662-43799-5
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Symbolic Computation and Complexity Theory Transcript of My Talk: Erich L. Kaltofen
Factorization of Motions: Josef Schicho
Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis: Yoshinori Aono
Real Root Isolation of Regular Chains: François Boulier, Changbo Chen, François Lemaire and Marc Moreno Maza
A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices: Howard Cheng and George Labahn
Computing Popov Forms of Matrices Over PBW Extensions: Mark Giesbrecht, George Labahn and Yang Zhang
On the Simplest Quartic Fields and Related Thue Equations: Akinari Hoshi
On the Implementation of Boolean Gröbner Bases: Shutaro Inoue and Akira Nagai
Comprehensive Gröbner Bases in a Java Computer Algebra System: Heinz Kredel
A Practical Method for Floating-Point Gröbner Basis Computation: Tateaki Sasaki
Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case: Tateaki Sasaki and Daiju Inaba
A Sequence of Nearest Polynomials with Given Factors: Hiroshi Sekigawa
Digitization Workflow in the Czech Digital Mathematics Library: Petr Sojka
The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings: Yao Sun and Dingkang Wang
Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media: C. Xiong, T. W. Kelsey, S. A. Linton and U. Leonhardt
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations: Brice Boyer, Matthew T. Comer and Erich L. Kaltofen
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions: Changbo Chen and Marc Moreno Maza
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations: Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang and Zhenbing Zeng
A Symbolic Approach to Compute a Null-Space Basis in the Projection Method: Mark Giesbrecht and Nam Pham
A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms: Jingjun Han
The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures: Na Lei, Xiaopeng Zheng and Yuxue Ren
Signature-Based Method of Deciding Program Termination: Yaohui Li, Yuqing Song and Zhifeng Wu
High-Precision Eigenvalue Bound for the Laplacian with Singularities: Xuefeng Liu, Tomoaki Okayama and Shin’ichi Oishi
POLY: A New Polynomial Data Structure for Maple 17: Michael Monagan and Roman Pearce
Degree and Dimension Estimates for Invariant Ideals of $$P$$ -Solvable Recurrences: Marc Moreno Maza and Rong Xiao
Real Root Isolation of Polynomial Equations Based on Hybrid Computation: Fei Shen, Wenyuan Wu and Bican Xia
Overview of the Mathemagix Type System: Joris van der Hoeven
Resultant-Free Computation of Indefinite Hyperexponential Integrals: Xiaoli Wu
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves: Jing Yang, Dongming Wang and Hoon Hong
The Diagonal Reduction Algorithm Using Fast Givens: Wen Zhang, Sanzheng Qiao and Yimin Wei
Constructing Generalized Bent Functions from Trace Forms of Galois Rings: Xiaoming Zhang, Baofeng Wu, Qingfang Jin and Zhuojun Liu
Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials: Zhi-Yong Zhang, Chun-Ming Yuan and Xiao-Shan Gao

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-662-43799-5

Ordering information: This item can be ordered from
http://www.springer.com/9783662437995

DOI: 10.1007/978-3-662-43799-5

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().