Simulating quadratic dynamical systems is PSPACE-complete
Sanjeev Arora,
Yuval Rabani,
and Umesh Vazirani
Proc. 26th Symp. Theory of Computing, ACM, May 1994, pp. 459–467
http://wstud.cs.technion.ac.il/~rabani/pss/Publications/AroraRV94.ps.gz
Cites:
