Equations in a free Q-group

O. Kharlampovich, A. Myasnikov

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

An algorithm is constructed that decides if a given finite system of equations over a free Q-group has a solution, and if it does, finds a solution.

Original languageEnglish
Pages (from-to)947-974
Number of pages28
JournalTransactions of the American Mathematical Society
Volume350
Issue number3
DOIs
StatePublished - 1998

Fingerprint

Dive into the research topics of 'Equations in a free Q-group'. Together they form a unique fingerprint.

Cite this