Arithmetic and algebraic circuits - Lloris Ruiz, Antonio; Castillo Morales, Encarnación; Parrilla Roure, Luis; García Ríos, Antonio; Lloris Meseguer, María José (Intelligent Systems Reference Library, 2021)