Quantifier Elimination for Linear Modular Constraints

DOI10.1007/978-3-662-44199-2_46zbMath1437.65252MaRDI QIDQ2879138

Supratik Chakraborty, Ajith K. John

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_46

zbMATH Keywords

quantifier elimination; linear modular arithmetic

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

03C10: Quantifier elimination, model completeness, and related topics

65Y04: Numerical algorithms for computer arithmetic, etc.