Title of article :
On validated numerics, category theory and computer algebra framework for simulation and computation in theoretical physics
Author/Authors :
Glazunov، نويسنده , , N.M.، نويسنده ,
Abstract :
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.
Keywords :
Homotopical algebra , Operad , Interval computation
Journal title :
Astroparticle Physics
