- 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
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]