Published January 14, 2025 | Version 2.0

New Andrews-Curtis trivializations for Miller-Schupp groups presentations. Supplementary materials.

Authors/Creators

Description

This folder  contains  supplementary materials for the papers
"New Andrews-Curtis trivializations  for Miller-Schupp groups presentations" and

"Automated Theorem Proving Reveals a Lengthy Andrews-Curtis
Trivialization for a Miller-Schupp Trivial Group Presentation" (tentative, as of january 2025) 

Files

New_AC-simplifications_MS_group_presentations.zip

Files (59.3 kB)

Additional details

Related works

Continues
Dataset: 10.5281/zenodo.8267429 (DOI)

Dates

Available
2025-01-14