Fetching the paper…

Constructive noncommutative rank computation is in deterministic polynomial time · Around