921 search results - page 11 / 185 » Abstract Matrix Arithmetic |
NDJFL
2010
13 years 2 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
CASC
2009
Springer
14 years 2 months ago
2009
Springer
We present lazy and forgetful algorithms for adding, multiplying and dividing multivariate polynomials. The lazy property allows us to compute the i-th term of a polynomial withou...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We show that any symmetric positive definite homogeneous matrix polynomial M R[x1, . . . , xn]m
CADE
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
SDM
2012
SIAM
11 years 10 months ago
2012
SIAM
Finding latent factors of the data using matrix factorizations is a tried-and-tested approach in data mining. But finding shared factors over multiple matrices is more novel prob...