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:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!