Search results for "ASCM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ruyong Feng, Wen-shin Lee, Yosuke Sato (eds.)	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	ASCM	2014	DBLP DOI BibTeX RDF
1	Xiaoli Wu	Resultant-Free Computation of Indefinite Hyperexponential Integrals.	ASCM	2012	DBLP DOI BibTeX RDF
1	Josef Schicho	Factorization of Motions.	ASCM	2012	DBLP DOI BibTeX RDF
1	Marc Moreno Maza, Rong Xiao 0004	Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences.	ASCM	2012	DBLP DOI BibTeX RDF
1	Jingjun Han	A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms.	ASCM	2012	DBLP DOI BibTeX RDF
1	Joris van der Hoeven	Overview of the Mathemagix Type System.	ASCM	2012	DBLP DOI BibTeX RDF
1	Liangyu Chen 0001, Tuo Leng, Liyong Shen, Min Wu 0003, Zhengfeng Yang, Zhenbing Zeng	Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.	ASCM	2012	DBLP DOI BibTeX RDF
1	Michael B. Monagan, Roman Pearce	POLY: A New Polynomial Data Structure for Maple 17.	ASCM	2012	DBLP DOI BibTeX RDF
1	Na Lei, Xiaopeng Zheng, Yuxue Ren	The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures.	ASCM	2012	DBLP DOI BibTeX RDF
1	Fei Shen, Wenyuan Wu, Bican Xia	Real Root Isolation of Polynomial Equations Based on Hybrid Computation.	ASCM	2012	DBLP DOI BibTeX RDF
1	Wen Zhang, Sanzheng Qiao, Yimin Wei	The Diagonal Reduction Algorithm Using Fast Givens.	ASCM	2012	DBLP DOI BibTeX RDF
1	Xiaoming Zhang, Baofeng Wu, Qingfang Jin, Zhuojun Liu	Constructing Generalized Bent Functions from Trace Forms of Galois Rings.	ASCM	2012	DBLP DOI BibTeX RDF
1	Brice Boyer, Matthew T. Comer, Erich L. Kaltofen	Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations.	ASCM	2012	DBLP DOI BibTeX RDF
1	Xuefeng Liu, Tomoaki Okayama, Shin'ichi Oishi	High-Precision Eigenvalue Bound for the Laplacian with Singularities.	ASCM	2012	DBLP DOI BibTeX RDF
1	Yaohui Li, Yuqing Song 0002, Zhifeng Wu	Signature-Based Method of Deciding Program Termination.	ASCM	2012	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, Nam Pham	A Symbolic Approach to Compute a Null-Space Basis in the Projection Method.	ASCM	2012	DBLP DOI BibTeX RDF
1	Jing Yang 0039, Dongming Wang 0001, Hoon Hong	ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves.	ASCM	2012	DBLP DOI BibTeX RDF
1	Changbo Chen, Marc Moreno Maza	An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions.	ASCM	2012	DBLP DOI BibTeX RDF
1	Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao	Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials.	ASCM	2012	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen	Symbolic Computation and Complexity Theory Transcript of My Talk.	ASCM	2012	DBLP DOI BibTeX RDF
1	Mark Giesbrecht, George Labahn, Yang Zhang	Computing Popov Forms of Matrices Over PBW Extensions.	ASCM	2009	DBLP DOI BibTeX RDF
1	Heinz Kredel	Comprehensive Gröbner Bases in a Java Computer Algebra System.	ASCM	2009	DBLP DOI BibTeX RDF
1	François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza	Real Root Isolation of Regular Chains.	ASCM	2009	DBLP DOI BibTeX RDF
1	Akinari Hoshi	On the Simplest Quartic Fields and Related Thue Equations.	ASCM	2009	DBLP DOI BibTeX RDF
1	Shutaro Inoue, Akira Nagai	On the Implementation of Boolean Gröbner Bases.	ASCM	2009	DBLP DOI BibTeX RDF
1	Yao Sun 0004, Dingkang Wang	The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings.	ASCM	2009	DBLP DOI BibTeX RDF
1	Howard Cheng, George Labahn	A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices.	ASCM	2009	DBLP DOI BibTeX RDF
1	Yoshinori Aono	Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis.	ASCM	2009	DBLP DOI BibTeX RDF
1	Petr Sojka	Digitization Workflow in the Czech Digital Mathematics Library.	ASCM	2009	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Daiju Inaba	Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case.	ASCM	2009	DBLP DOI BibTeX RDF
1	C. Xiong, Thomas W. Kelsey, Stephen A. Linton, Ulf Leonhardt	Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media.	ASCM	2009	DBLP DOI BibTeX RDF
1	Hiroshi Sekigawa	A Sequence of Nearest Polynomials with Given Factors.	ASCM	2009	DBLP DOI BibTeX RDF
1	Tateaki Sasaki	A Practical Method for Floating-Point Gröbner Basis Computation.	ASCM	2009	DBLP DOI BibTeX RDF
1	Deepak Kapur (eds.)	Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers	ASCM	2008	DBLP DOI BibTeX RDF
1	Banghe Li, Dingkang Wang	An Algorithm for Transforming Regular Chain into Normal Chain.	ASCM	2007	DBLP DOI BibTeX RDF
1	Alain Bretto, Cerasela Jaulin, Luc Gillibert, Bernard Laget	A New Property of Hamming Graphs and Mesh of d-ary Trees.	ASCM	2007	DBLP DOI BibTeX RDF
1	Zhibin Li 0005, Yinping Liu, Haifeng Qian	A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations.	ASCM	2007	DBLP DOI BibTeX RDF
1	Basem S. Attili	An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems.	ASCM	2007	DBLP DOI BibTeX RDF
1	Moe Thuthu, Seiji Fujino	Stability of GPBiCG_AR Method Based on Minimization of Associate Residual.	ASCM	2007	DBLP DOI BibTeX RDF	GPBi-CG, GPBiCG_AR, nonsymmetric coefficient matrix, Associate Residual, precondition
1	R. R. Ahmad, A. S. Rambely, L. H. Lim	Solving Biomechanical Model Using Third-Order Runge-Kutta Methods.	ASCM	2007	DBLP DOI BibTeX RDF	Biomechanics problem, Modified Runge- Kutta, Runge-Kutta
1	Mohab Safey El Din	Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping.	ASCM	2007	DBLP DOI BibTeX RDF
1	Jia Li 0023, Xiao-Shan Gao	A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals.	ASCM	2007	DBLP DOI BibTeX RDF	zero dimensional variety, irredundant decomposition, resultant, Algebraic variety
1	Manfred Minimair	Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis.	ASCM	2007	DBLP DOI BibTeX RDF	polynomial division, Lagrange basis, Bernstein basis
1	Feifei Ma, Jian Zhang 0001	Computer Search for Large Sets of Idempotent Quasigroups.	ASCM	2007	DBLP DOI BibTeX RDF
1	Nor Aini Aris, Shamsatun Nahar Ahmad	Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix.	ASCM	2007	DBLP DOI BibTeX RDF	comrade matrix, three-term recurrence relation, greatest common divisor of generalized polynomials, orthogonal polynomials
1	Anuar Ishak, Roslinda Nazar, Ioan Pop	Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream.	ASCM	2007	DBLP DOI BibTeX RDF	Dual solutions, Local similarity solutions, Moving cylinder, Numerical solutions, Boundary layer
1	Maki Iwami	A Reduction Attack on Algebraic Surface Public-Key Cryptosystems.	ASCM	2007	DBLP DOI BibTeX RDF
1	Xiaoyun Wang 0001	Some Mathematical Problems in Cryptanalysis.	ASCM	2007	DBLP DOI BibTeX RDF
1	Tateaki Sasaki, Fujio Kako	Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation.	ASCM	2007	DBLP DOI BibTeX RDF
1	Yosuke Sato, Akira Nagai, Shutaro Inoue	On the Computation of Elimination Ideals of Boolean Polynomial Rings.	ASCM	2007	DBLP DOI BibTeX RDF	Boolean Gröbner Bases
1	Songxin Liang, David J. Jeffrey	Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact.	ASCM	2007	DBLP DOI BibTeX RDF
1	Heinz Kredel	Evaluation of a Java Computer Algebra System.	ASCM	2007	DBLP DOI BibTeX RDF
1	Gui-Lin Zhang, Xiao-Shan Gao	Properties of Ascending Chains for Partial Difference Polynomial Systems.	ASCM	2007	DBLP DOI BibTeX RDF	Ascending chain, coherent chain, regular chain, irreducible chain, partial difference polynomial, characteristic set
1	Suvra Sarkar, Sougata Patra	Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution.	ASCM	2007	DBLP DOI BibTeX RDF	Fourier-Bessel Series, Kronecker Delta, Bessel functions, Laplace Equation
1	Seripah Awang Kechil, Ishak Hashim	Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media.	ASCM	2007	DBLP DOI BibTeX RDF
1	Hiroshi Sekigawa	The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval.	ASCM	2007	DBLP DOI BibTeX RDF
1	Hendra Gunawan, F. Pranolo, E. Rusyaman	An Interpolation Method That Minimizes an Energy Integral of Fractional Order.	ASCM	2007	DBLP DOI BibTeX RDF
1	Hyeong In Choi, Rida T. Farouki, Chang Yong Han, Hwan Pyo Moon	Computing the Minkowski Value of the Exponential Function over a Complex Disk.	ASCM	2007	DBLP DOI BibTeX RDF
1	Amir Hashemi	Efficient Algorithms for Computing Nöther Normalization.	ASCM	2007	DBLP DOI BibTeX RDF
1	Liangyu Chen 0001, Zhenbing Zeng	Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.	ASCM	2007	DBLP DOI BibTeX RDF	Homogeneous symmetric polynomial, Positive Semi- Definiteness, Difference Substitution
1	Georges Gonthier	The Four Colour Theorem: Engineering of a Formal Proof.	ASCM	2007	DBLP DOI BibTeX RDF
1	Guillaume Moroz	Regular Decompositions.	ASCM	2007	DBLP DOI BibTeX RDF
1	Eng-Wee Chionh	The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports.	ASCM	2007	DBLP DOI BibTeX RDF	Dixon matrix, corner-cut monomial supports, mechanical proof, maximality
1	Ekaterina Shemyakova, Franz Winkler 0001	On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators.	ASCM	2007	DBLP DOI BibTeX RDF

Publications at "ASCM"( http://dblp.L3S.de/Venues/ASCM )