1. How to automatise proofs of operator statements: Moore-Penrose inverse; a case study;Bernauer,2023
2. The ideal membership problem and abelian groups;Bulatov,2022
3. On the complexity of CSP-based ideal membership problems;Bulatov,2022
4. Decoding by linear programming;Candes;IEEE Trans. Inf. Theory,2005
5. Atomic decomposition by basis pursuit;Chen;SIAM Rev.,2001