Published January 14, 2025
| Version 2.0
Dataset
Open
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)
| Name | Size | Download all |
|---|---|---|
|
md5:345a7a0d3ddfffe395a52f8b0474c4f2
|
59.3 kB | Preview Download |
Additional details
Related works
- Continues
- Dataset: 10.5281/zenodo.8267429 (DOI)
Dates
- Available
-
2025-01-14