TY  - RPRT
TI  - Symbolic computation with monotone operators
AU  - Florian Lauster
AU  - D. Russell Luke
AU  - Matthew K. Tam
PY  - 2017
DO  - 10.1007/s11228-017-0418-7
UR  - https://arxiv.org/abs/1703.05946
ID  - 1703.05946
ER  -