Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Andrews-Curtis conjecture
Publications
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II
Alexei Lisitsa
In
:
LPAR 2024 Complementary Volume
Towards Computer-Assisted Proofs of Parametric Andrews-Curtis Simplifications, II
Alexei Lisitsa
EasyChair Preprint 13320
Copyright © 2012-2024 easychair.org. All rights reserved.