JSC
2008
13 years 3 months ago
2008
JSC
2008
13 years 3 months ago
2008
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...
JSC
2008
13 years 4 months ago
2008
We describe the design, implementation and experimental evaluation of new algorithms for computing the approximate factorization of multivariate polynomials with complex coefficie...
JSC
2008
13 years 4 months ago
2008
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 ...
JSC
2008
13 years 4 months ago
2008
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...
JSC
2008
13 years 4 months ago
2008
JSC
2008
13 years 4 months ago
2008
JSC
2008
13 years 4 months ago
2008
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...
JSC
2008
13 years 4 months ago
2008
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...
JSC
2008
13 years 4 months ago
2008