3145 search results - page 4 / 629 » Algebraic Linear Orderings |
112
click to vote
ECOOPW
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We introduce a collection of high performance kernels for basic linear algebra. The kernels encapsulate small xed size computations in order to provide building blocks fo...
117
Voted
ISSAC
2004
Springer
15 years 5 months ago
2004
Springer
The FFLAS project has established that exact matrix multiplication over finite fields can be performed at the speed of the highly optimized numerical BLAS routines. Since many a...
95
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
92
Voted
STOC
2009
ACM
16 years 1 months ago
2009
ACM
We give near-optimal space bounds in the streaming model for linear algebra problems that include estimation of matrix products, linear regression, low-rank approximation, and app...
144
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...