Filters
Results 1 - 1 of 1
Results 1 - 1 of 1.
Search took: 0.018 seconds
[en] 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
Journal
Nuclear Instruments and Methods in Physics Research. Section A, Accelerators, Spectrometers, Detectors and Associated Equipment; ISSN 0168-9002; 
; CODEN NIMAER; v. 502(2-3); p. 654-656
; CODEN NIMAER; v. 502(2-3); p. 654-656