Sciweavers

6129 search results - page 16 / 1226
» A parallel LLL algorithm
Sort
View
130
Voted
IPPS
2002
IEEE
15 years 10 months ago
Mechanical Verification of Hypercube Algorithms
Eric Gascard, Laurence Pierre