Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning. (In Press)
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning. (In Press)
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning. (In Press)
Abstract
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as reasoning from the first principles, positive cones, torsions, generalised torsions and cofinal elements
| Item Type: | Article |
|---|---|
| Uncontrolled Keywords: | automated theorem proving, group theory, groups orderability, computer assisted mathematics |
| Divisions: | Faculty of Science and Health > Mathematics, Statistics and Actuarial Science, School of |
| SWORD Depositor: | Unnamed user with email elements@essex.ac.uk |
| Depositing User: | Unnamed user with email elements@essex.ac.uk |
| Date Deposited: | 01 Jul 2025 09:12 |
| Last Modified: | 01 Jul 2025 09:13 |
| URI: | http://repository.essex.ac.uk/id/eprint/41210 |