Banach–Shor–Tao Algorithms- Contraction-Based High-Assurance Computation (IEEE)
Fields of Study & Subjects
Logic
programming
and type systems
Cryptography and Data Security
Numerical Methods and Algorithms
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 19 January 2026