Results 1 to 10 of about 25 (23)
New Andrews–Curtis trivializations for Miller–Schupp group presentations
Examples and CounterexamplesWe 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 ...
Alexei Lisitsa
exaly +3 more sources
Examples and CounterexamplesWe present an independently discovered Andrews–Curtis trivialization of the balanced trivial group presentation MS9(w∗)=〈a,b∣a−1b9ab−10,a−1b−1aba−1〉 obtained through automated theorem proving.
Alexei Lisitsa
doaj +1 more source
Stable Andrews-Curtis trivialization of AK(3) revisited. A case study using automated deduction
Journal of Computational AlgebraRecent work by Shehper et al. (2024) [13] proposed that the well-known Akbulut–Kirby presentation AK(3) is stably Andrews–Curtis (AC) equivalent to the trivial presentation, based on a reduction to a previously studied presentation P.
Alexei Lisitsa
doaj +1 more source
Combinatorial methods and algorithms in low dimensional topology and the Andrews Curtis conjecture [PDF]
, 2017 Fil: Fernández, Ximena Laura. Universidad de Buenos Aires.
Fernández, Ximena Laura
core
Some of the next articles are maybe not open access.
Local Trivializations of Suspended Minimal Cantor Systems and the Stable Orbit-Breaking Subalgebra
Results in Mathematics, 2022Jacopo Bassi
exaly
Meromorphic matrix trivializations of factors of automorphy over a Riemann surface
Operators and Matrices, 2016Joseph A Ball, Victor Vinnikov
exaly
Stable flags, trivializations and regular connections
Pacific Journal of Mathematics, 2013Eduardo Corel
exaly
Generic trivializations of geometric theories
Mathematical Logic Quarterly, 2014Alexander Berenstein +1 more
exaly
Trivializations of differential cocycles
Journal of Homotopy and Related Structures, 2013Corbett Redden
exaly
On necessary and sufficient conditions for differential flatness
Applicable Algebra in Engineering, Communications and Computing, 2010Jean Lévine
exaly