Sciweavers

JSC
2008
54views more  JSC 2008»
13 years 10 months ago
Near-optimal parameterization of the intersection of quadrics: I. The generic algorithm
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Syl...
JSC
2008
126views more  JSC 2008»
13 years 10 months ago
Computing singular points of plane rational curves
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...
Falai Chen, Wenping Wang, Yang Liu
JSC
2008
162views more  JSC 2008»
13 years 11 months ago
Approximate factorization of multivariate polynomials using singular value decomposition
We describe the design, implementation and experimental evaluation of new algorithms for computing the approximate factorization of multivariate polynomials with complex coefficie...
Erich Kaltofen, John P. May, Zhengfeng Yang, Lihon...
JSC
2008
78views more  JSC 2008»
13 years 11 months ago
Rational Univariate Reduction via toric resultants
We describe algorithms for solving a given system of multivariate polynomial equations via the Rational Univariate Reduction (RUR). We compute the RUR from the toric resultant of ...
Koji Ouchi, John Keyser
JSC
2008
72views more  JSC 2008»
13 years 11 months ago
Flat matching
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
Temur Kutsia
JSC
2008
53views more  JSC 2008»
13 years 11 months ago
Near-optimal parameterization of the intersection of quadrics: II. A classification of pencils
Laurent Dupont, Daniel Lazard, Sylvain Lazard, Syl...
JSC
2008
70views more  JSC 2008»
13 years 11 months ago
Counting with rational generating functions
Sven Verdoolaege, Kevin Woods
JSC
2008
60views more  JSC 2008»
13 years 11 months ago
Completion of overdetermined parabolic PDEs
In this paper we apply methods of commutative algebra to analysis of systems of PDEs. More precisely, we show that systems which are parabolic in a generalized sense are equivalen...
Katsiaryna Krupchyk, Jukka Tuomela
JSC
2008
96views more  JSC 2008»
13 years 11 months ago
Computing the algebraic relations of C-finite sequences and multisequences
We present an algorithm for computing generators for the ideal of algebraic relations among sequences which are given by homogeneous linear recurrence equations with constant coef...
Manuel Kauers, Burkhard Zimmermann
JSC
2008
74views more  JSC 2008»
13 years 11 months ago
On the decomposition of rational functions
Mohamed Ayad, Peter Fleischmann