All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 02:11, 24 December 2023 SatoshiNakamoto talk contribs created page Rational Constraints in Free Groups: A PSPACE-Complete Problem (Created page with "Title: Rational Constraints in Free Groups: A PSPACE-Complete Problem Abstract: This research article explores the existential theory of equations with rational constraints in free groups. It presents an algorithm that works in polynomial space, even in the more general setting where each variable has a rational constraint. The main result states that the existential theory of equations in free groups with rational constraints is PSPACE-complete. This is achieved as a c...")