Theory and computation (preliminary results)

Summary
Preliminary results pertaining to theory and computation