6 citations · 6 across the 6 of their papers we have counts for
6 papers
Proceedings of the 23rd International Overture Workshop
Hugo Daniel Macedo, Ken Pierce
This volume contains the papers presented at the 23rd International Overture Workshop, held on the 11th of June 2025. This event was the latest in a series of workshops around the…
Proceedings of the 22nd International Overture Workshop
Hugo Daniel Macedo, Ken Pierce, Leo Freitas
This volume contains the papers presented at the 22nd International Overture Workshop, held on the 10th of September 2024. This event was the latest in a series of workshops around…
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…
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…
Proceedings of the 19th International Overture Workshop
Hugo Daniel Macedo, Casper Thule, Ken Pierce
This volume contains the papers presented at the 19th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 22th October…
Proceedings of the 18th International Overture Workshop
John Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
This volume contains the papers presented at the 18th International Overture Workshop, held online on 7th December 2020. This event was the latest in a series of workshops around t…