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

Download PDF
Open Webpage

Alexei Lisitsa

Published: 01 Jan 2024, Last Modified: 02 Aug 2025LPAR Complementary Volume 2024EveryoneRevisionsBibTeXCC BY-SA 4.0