D. R. Luke et al.
Abstract: A toolbox of algorithms and projection operators for implementing fixed point iterations based on the Prox operator.
||Symbolic Convex Analysis Toolkit (SCAT)
C. Hamilton et al.
Abstract: The Symbolic Convex Analysis Toolkit (SCAT) is a Maple package for symbolic computation of various objects from convex anlysis including Fenchel conjugates and subdifferentials. We are actively working on further development of the package but the bulk of the source code is credited to Borwein & Hamilton. The archive also contains supplementary material for paper Symbolic computation with monotone operators.