共 50 条
- [2] Theoretical high energy physics:: formal theory PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 2004, 403 : 435 - 443
- [7] On validated numerics, category theory and computer algebra framework for simulation and computation in theoretical physics NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2003, 502 (2-3): : 654 - 656
- [8] Theory of Computation, Fuzziness and a physics of the immaterial PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13), 2013, 32