99 search results - page 1 / 20 » Stable normal forms for polynomial system solving |
CORR
2008
Springer
13 years 5 months ago
2008
Springer
This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I. The criterion used in the computation involves specific commutation polynomial...
ISSAC
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
AAECC
2010
Springer
13 years 5 months ago
2010
Springer
TCS
2011
12 years 12 months ago
2011
Abstract. We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case our algorithm supports rank-one updat...
POPL
1997
ACM
13 years 8 months ago
1997
ACM
The following theorem of Huet and L