An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...
Abstract: We investigate the Weihrauch-degree of several solution concepts from noncooperative game theory. While the consideration of Nash equilibria forms the core of our work, a...
We implemented a five-week family program called Family Quest where parents and children ages 9 to 13 played Quest Atlantis, a multiuser 3D educational computer game, at a local af...
Sinem Siyahhan, Sasha A. Barab, Michael P. Downton
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...
Shiva Kintali, Laura J. Poplawski, Rajmohan Rajara...