On validated numerics, category theory and computer algebra framework for simulation and computation in theoretical physics

摘要

We give a joint context for validated numerics, category theory, and computer algebra aspects in the string theory and formulate some results in terms of the context. (C) 2003 Elsevier Science B.V. All rights reserved. [References: 8]