Andrews–Curtis conjecture

Results: 1



#Item
1Andrews–Curtis conjecture / Nielsen transformation / Counterexample / Automated theorem proving / Conjectures / Mathematics / Combinatorial group theory

First-order theorem proving in the exploration of Andrews-Curtis conjecture Alexei Lisitsa The University of Liverpool ABSTRACT

Add to Reading List

Source URL: tinytocs.org

Language: English - Date: 2013-04-02 18:41:25
UPDATE