Symbolic computation with monotone operators - Florian Lauster; D. Russell Luke; Matthew K. Tam (2017)