**Financial support through the following projects:**

UIDB/00297/2020

UID/MAT/00297/2019

UID/MAT/00297/2013

PEst-OE/MAT/UI0297/2014

PEst-OE/MAT/UI0297/2011

Members of CMA are involved in software development, including:

Solving Tools:

- a solver for constrained or unconstrained derivative-free optimization problems:: SID-PSM
- a solver for multiobjective derivative-free optimization problems: DMS
- a solver suited for global derivative-free constrained optimization: GLODS
- a solver suited for global derivative-free multiobjective constrained optimization: MultiGLODS
- an open source application, licensed under the GPL v3, designed to select connectivity linkages for distinct types of habitats, under a cost-efficient protocol: MulTyLink
- a package for selecting variable subsets. Contributed packages of The Comprehensive R Archive Network (CRAN): Subselect.
**CHECK DOWNLOADS HERE**. - a package with several non parametric randomness tests. Contributed packages of The Comprehensive R Archive Network (CRAN): Randtests

Theorem prover tools:

- the kernel of a Theorem Prover interface: ProverX (under construction)
- a package to find Forbidden Structure Conjectures: Forbidden Theorems
- a package to find a base of identities for the variety of semigroups it generates: Semigroup Varieties
- a package to translate proofs from Prover9 to other Automated Theorem Provers: Translator
- a package to humanize proofs from Prover9: XPlain

- to test if an identity is satisfied, given a set of semistandard tableaux