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.

Saved in:
Bibliographic Details
Published in:Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment Accelerators, spectrometers, detectors and associated equipment, 2003-04, Vol.502 (2), p.654-656
Main Author: Glazunov, N.M.
Format: Article
Language:English
Subjects:
Homotopical algebra
Interval computation
Operad
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0168-9002
1872-9576
DOI:10.1016/S0168-9002(03)00534-5