CARMA SEMINAR Speaker: Andrew Goh, The University of Newcastle Title: Solving free group equations on a computer Location: Room V205, Mathematics Building (Callaghan Campus) The University of Newcastle Dates: 1:00 pm, Wed, 30th Nov 2016 - 1:30 pm, Wed, 30th Nov 2016 Abstract: I will discuss how to solve free group equations using a practical computer program. Ciobanu, Diekert and Elder recently gave a theoretical algorithm which runs in nondeterministic space $n\log n$, but implementing their method as an actual computer program presents many challenges, which I will describe. [Permanent link]