Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning, 69 (3). DOI https://doi.org/10.1007/s10817-025-09734-9
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning, 69 (3). DOI https://doi.org/10.1007/s10817-025-09734-9
Lisitsa, Alexei and Nie, Zipei and Vernitski, Alexei (2025) Automated reasoning for proving non-orderability of groups. Journal of Automated Reasoning, 69 (3). DOI https://doi.org/10.1007/s10817-025-09734-9
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 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: | 21 Aug 2025 09:30 |
| URI: | http://repository.essex.ac.uk/id/eprint/41210 |
Available files
Filename: s10817-025-09734-9.pdf
Licence: Creative Commons: Attribution 4.0