Showing 1–19 of 19 results
/ Date/ Name
Mar 19, 2026A more accurate rational non-commutative algorithm for multiplying 4x4 matrices using 48 multiplicationsJan 29, 2026Algorithms for the local and the global postage stamp problemJun 24, 2025Towards automated generation of fast and accurate algorithms for recursive matrix multiplicationJul 24, 2023In-place accumulation of fast multiplication formulaeJun 3, 2016Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKenJun 25, 2014Elements of Design for Containers and Solutions in the LinBox LibraryFeb 5, 2014Breaking a monad-comonad symmetry between computational effectsOct 2, 2013Formal verification in Coq of program properties involving the global state effectApr 4, 2011Recursive double-size fixed precision arithmeticMay 5, 2010Generic design of Chinese remaindering schemesApr 21, 2010Exact Sparse Matrix-Vector Multiplication on GPU's and Multicore ArchitecturesJan 23, 2010Generic design of Chinese remaindering schemesJul 16, 2007Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithmApr 18, 2007Parallel computation of the rank of large sparse matrices from algebraic K-theoryOct 24, 2006Bounds on the coefficients of the characteristic and minimal polynomialsJan 31, 2006Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packagesOct 20, 2005Towards a diagrammatic modeling of the LinBox C++ linear algebra libraryJan 25, 2005Efficient Computation of the Characteristic PolynomialSep 14, 2004Efficient polynomial time algorithms computing industrial-strength primitive roots