APA (7th ed.) Citation

Hofstadler, C., Kaufmann, D., & Chen, C. (2026). Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits.

Chicago Style (17th ed.) Citation

Hofstadler, Clemens, Daniela Kaufmann, and Chen Chen. Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits. 2026.

MLA (9th ed.) Citation

Hofstadler, Clemens, et al. Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits. 2026.