New Andrews–Curtis trivializations for Miller–Schupp group presentations
We present recent developments in the applications of automated theorem proving in the investigation of the Andrews–Curtis conjecture. We demonstrate previously unknown trivializations of group presentations from a parametric family MSn(w∗) of trivial group presentations for n=3,4,5,6,7,8 (subset of...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2024-12-01
|
| Series: | Examples and Counterexamples |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S2666657X2400034X |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|