The conjugacy problem and related problems in lattice-ordered groups
<|reference_start|>The conjugacy problem and related problems in lattice-ordered groups: We study, from a constructive computational point of view, the techniques used to solve the conjugacy problem in the "generic" lattice-ordered group Aut(R) of order automorphisms of the real line. We use these techniques in order to show that for each choice of parameters f,g in Aut(R), the equation xfx=g is effectively solvable in Aut(R).<|reference_end|>
@article{holland2005the,
    title={The conjugacy problem and related problems in lattice-ordered groups},
    author={W. Charles Holland and Boaz Tsaban},
    journal={International Journal of Algebra and Computation 15 (2005),
  395-404},
    year={2005},
    doi={10.1142/S0218196705002232},
    archivePrefix={arXiv},
    eprint={math/0507041},
    primaryClass={math.GR cs.CC math.GN}
}