15 citations
2 papers
math.CO2008★ 15 cited
Automatic Classification of Restricted Lattice Walks
Alin Bostan, Manuel Kauers
We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of w…
cs.MS2007★ 1 cited
Memory efficient scheduling of Strassen-Winograd's matrix multiplication algorithm
Brice Boyer, Jean-Guillaume Dumas, Clément Pernet +1
We propose several new schedules for Strassen-Winograd's matrix multiplication algorithm, they reduce the extra memory allocation requirements by three different means: by introduc…