research
∙
04/08/2020
New Opportunities for the Formal Proof of Computational Real Geometry?
The purpose of this paper is to explore the question "to what extent cou...
share
research
∙
01/03/2019
On Fast Matrix Inversion via Fast Matrix Multiplication
Volker Strassen first suggested an algorithm to multiply matrices with w...
research
∙
04/26/2018
