default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASCM 2009/2012: Fukuoka / Beijing
- Ruyong Feng, Wen-shin Lee, Yosuke Sato:
Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks. Springer 2014, ISBN 978-3-662-43798-8
Invited Talks of ASCM 2012
- Erich L. Kaltofen
:
Symbolic Computation and Complexity Theory Transcript of My Talk. 3-7 - Josef Schicho:
Factorization of Motions. 9-11
Contributed Papers of ASCM 2009
- Yoshinori Aono:
Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis. 15-32 - François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza:
Real Root Isolation of Regular Chains. 33-48 - Howard Cheng, George Labahn:
A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices. 49-59 - Mark Giesbrecht, George Labahn, Yang Zhang:
Computing Popov Forms of Matrices Over PBW Extensions. 61-65 - Akinari Hoshi:
On the Simplest Quartic Fields and Related Thue Equations. 67-85 - Shutaro Inoue, Akira Nagai:
On the Implementation of Boolean Gröbner Bases. 87-92 - Heinz Kredel:
Comprehensive Gröbner Bases in a Java Computer Algebra System. 93-108 - Tateaki Sasaki:
A Practical Method for Floating-Point Gröbner Basis Computation. 109-124 - Tateaki Sasaki, Daiju Inaba:
Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case. 125-140 - Hiroshi Sekigawa:
A Sequence of Nearest Polynomials with Given Factors. 141-145 - Petr Sojka:
Digitization Workflow in the Czech Digital Mathematics Library. 147-156 - Yao Sun, Dingkang Wang:
The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings. 157-169 - C. Xiong, Thomas W. Kelsey, Stephen A. Linton, Ulf Leonhardt:
Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media. 171-180
Contributed Papers of ASCM 2012
- Brice Boyer, Matthew T. Comer, Erich L. Kaltofen:
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations. 183-197 - Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. 199-221 - Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng:
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. 223-241 - Mark Giesbrecht, Nam Pham:
A Symbolic Approach to Compute a Null-Space Basis in the Projection Method. 243-259 - Jingjun Han:
A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms. 261-274 - Na Lei, Xiaopeng Zheng, Yuxue Ren:
The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures. 275-296 - Yaohui Li, Yuqing Song, Zhifeng Wu:
Signature-Based Method of Deciding Program Termination. 297-310 - Xuefeng Liu, Tomoaki Okayama, Shin'ichi Oishi:
High-Precision Eigenvalue Bound for the Laplacian with Singularities. 311-323 - Michael B. Monagan, Roman Pearce:
POLY: A New Polynomial Data Structure for Maple 17. 325-348 - Marc Moreno Maza, Rong Xiao:
Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences. 349-373 - Fei Shen, Wenyuan Wu, Bican Xia:
Real Root Isolation of Polynomial Equations Based on Hybrid Computation. 375-396 - Joris van der Hoeven:
Overview of the Mathemagix Type System. 397-425 - Xiaoli Wu:
Resultant-Free Computation of Indefinite Hyperexponential Integrals. 427-435 - Jing Yang, Dongming Wang, Hoon Hong:
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. 437-451 - Wen Zhang, Sanzheng Qiao, Yimin Wei:
The Diagonal Reduction Algorithm Using Fast Givens. 453-465 - Xiaoming Zhang, Baofeng Wu, Qingfang Jin, Zhuojun Liu:
Constructing Generalized Bent Functions from Trace Forms of Galois Rings. 467-477 - Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao:
Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials. 479-503
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
