Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II.

Alexei Lisitsa

Browse the full LPAR paper archive.