Sciweavers

1379 search results - page 171 / 276
» The Complexity of the Annihilating Polynomial
Sort
View
ISAAC
2007
Springer
146views Algorithms» more  ISAAC 2007»
16 years 17 days ago
Bounded Tree-Width and CSP-Related Problems
We study the complexity of structurally restricted homomorphism and constraint satisfaction problems. For every class of relational structures C, let LHOM(C, _) be the problem of d...
Tommy Färnqvist, Peter Jonsson
ISSAC
2007
Springer
142views Mathematics» more  ISSAC 2007»
16 years 17 days ago
Fast arithmetic for triangular sets: from theory to practice
We study arithmetic operations for triangular families of polynomials, concentrating on multiplication in dimension zero. By a suitable extension of fast univariate Euclidean divi...
Xin Li, Marc Moreno Maza, Éric Schost
ISSAC
2007
Springer
147views Mathematics» more  ISSAC 2007»
16 years 17 days ago
Differential equations for algebraic functions
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their po...
Alin Bostan, Frédéric Chyzak, Bruno ...
SPIRE
2007
Springer
16 years 16 days ago
Generalized LCS
The Longest Common Subsequence (LCS) is a well studied problem, having a wide range of implementations. Its motivation is in comparing strings. It has long been of interest to dev...
Amihood Amir, Tzvika Hartman, Oren Kapah, B. Riva ...
TGC
2007
Springer
16 years 16 days ago
Relational Analysis for Delivery of Services
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
Flemming Nielson, Hanne Riis Nielson, Jörg Ba...