Proof by Matrix Reduction as Plan + Validation.

Ricardo Caferra

Browse the full CADE paper archive.