Polynomial Analysis of Modular Arithmetic
Abstract elided by the publisher.
Related papers
- Analysis of modular arithmetic TOPLAS 2007
- A modular, efficient formalisation of real algebraic numbers CPP 2016
- HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption PLDI 2023
- Analysis of Modular Arithmetic ESOP 2005
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis POPL 2024
- Boosting SMT solver performance on mixed-bitwise-arithmetic expressions PLDI 2021
- Symbolic Transformation of Expressions in Modular Arithmetic SAS 2023