Analysis of Modular Arithmetic
No abstract available.
Related papers
- Polynomial Analysis of Modular Arithmetic SAS 2023
- Analysis of modular arithmetic TOPLAS 2007
- Symbolic Transformation of Expressions in Modular Arithmetic SAS 2023
- Implementing Bit-addressing with Specialization ICFP 1997
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025
- A modular, efficient formalisation of real algebraic numbers CPP 2016
- Handling Operator Precedence in Arithmetic Expressions with Tree Transformations TOPLAS 1981
- Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions CPP 2019