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 language | English |
---|---|
Pages (from-to) | 947-974 |
Number of pages | 28 |
Journal | Transactions of the American Mathematical Society |
Volume | 350 |
Issue number | 3 |
DOIs | |
State | Published - 1998 |