Software CMUP
Some members of CMUP are involved in the development of software packages.
João Pedro Pedroso is the author of the following software:
- Solver for maximizing expectation in graph packing with cycles: https://github.com/joaopedroso/max-expect-cycle-packing
- Software for scheduling a night's observations in a high-cadence telescope: https://github.com/joaopedroso/telescope_scheduler
- Solver for maximum-expectation matching in undirected graphs under unlimited recourse: https://github.com/joaopedroso/matching-under-recourse
Manuel Delgado is the author and co-author of several external GAP packages.
- numericalsgps is a GAP package to compute with numerical semigroups written by Manuel Delgado, Pedro García-Sánchez and José Morais. The stable release is available either from the package web page in GitHub or from the GAP web page. For the development version, please visit the GitHub repository.
- intpic is a GAP package for drawing integers written by Manuel Delgado. The stable release is available either from the package web page in GitHub or from the GAP web page. For the development version, please visit the GitHub repository.
- sgpviz is a GAP package for (finite) semigroup visualization written by Manuel Delgado and José Morais. The stable release is available either from the package web page in GitHub or from the GAP web page. For the development version, please visit the GitHub repository.
- automata is a GAP package to deal with finite state automata written by Manuel Delgado, Steve Linton and José Morais. The stable release is available either from the package web page in GitHub or from the GAP web page. For the development version, please visit the GitHub repository. This package has been presented at the “Workshop on Semigroups and Automata”, a Satellite Workshop to ICALP’05 (July 16, 2005, Lisboa, Portugal). (pdf file available.)
Rogério Reis, Nelma Moreira are authors of the project FAdo:
- FAdo system is an open source software library for the symbolic manipulation of automata and other models of computation. PyPi: https://pypi.org/project/FAdo/
Paulo B. Vasconcelos, José A. M. Matos and José A. O. Matos are the authors of the TauToolbox library.
- Tau Toolbox is a numerical library for the solution of integro-differential problems, Stable release is available in Matlab/Octave and in Python. For development versions, please visit the Bitbucket repository: Matlab, Python.