921 search results - page 1 / 185 » Abstract Matrix Arithmetic |
SYNASC
2008
IEEE
14 years 5 months ago
2008
IEEE
ICCS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Hierarchical (H)-matrices approximate full or sparse matrices using a hierarchical data sparse format. The corresponding H-matrix arithmetic reduces the time complexity o...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
SAS
1992
Springer
14 years 2 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
COMPGEOM
1997
ACM
14 years 3 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...