Title of article
On validated numerics, category theory and computer algebra framework for simulation and computation in theoretical physics
Author/Authors
Glazunov، نويسنده , , N.M.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
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
Nuclear Instruments and Methods in Physics Research Section A
Serial Year
2003
Journal title
Nuclear Instruments and Methods in Physics Research Section A
Record number
2198736
Link To Document