7 search results - page 1 / 2 » aaecc 2010 |
AAECC
2010
Springer
13 years 4 months ago
2010
Springer
AAECC
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Starting with Karr's structural theorem for summation --the discrete version of Liouville's structural theorem for integration-- we work out crucial properties ...
AAECC
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We present new faster deterministic and probabilistic recombination algorithms to compute the irreducible decomposition of a bivariate polynomial via the classical Hensel...
AAECC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract Elementary techniques from operational calculus, differential algebra, and noncommutative algebra lead to a new approach for change-point detection, which is an important ...
AAECC
2010
Springer
13 years 4 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...