6 citations · 6 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Proceedings of the 21st International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 21st International Overture Workshop, held on the 10th of March 2023. This event was the latest in a series of workshops around the…
cs.DS2023
Multiplying matrices using n arithmetic operations
Hugo Daniel Macedo
It is widely known that the lower bound for the algorithmic complexity of square matrix multiplication resorts to at least arithmetic operations. The justification builds upo…