Title of article
On validated numerics, category theory and computer algebra framework for simulation and computation in theoretical physics
Author/Authors
Glazunov، نويسنده , , N.M.، نويسنده ,
Pages
3
From page
654
To page
656
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
Record number
2021408
Link To Document