{"id":3,"date":"2009-04-01T21:49:40","date_gmt":"2009-04-01T20:49:40","guid":{"rendered":"http:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/hobbies\/?page_id=3"},"modified":"2018-11-28T11:18:26","modified_gmt":"2018-11-28T10:18:26","slug":"software","status":"publish","type":"page","link":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/software\/","title":{"rendered":"Software"},"content":{"rendered":"<p>I am co-author of several external <a href=\"http:\/\/www.gap-system.org\/\"> GAP<\/a> packages. In order to browse through the manuals, you may just follow the links below, which direct you to the respective packages homepages. To use the packages, you must have a working copy of GAP with version number 4.5 or higher. In this case, you have probably already obtained the packages as part of the GAP distribution.<\/p>\n<p>I am also maintainer of these packages.<\/p>\n<p>Mathematical software plays many times an important role in the reasoning that ultimately leads to the proof of a theorem. The extensive consideration of examples usually benefits from computational means. But once a theorem is proved, one may ignore these means. Anyway, some authors like to provide some recognition&#8230; Pointers to some papers citing packages for which I am co-author may be found in my <a href=\"http:\/\/scholar.google.com\/citations?user=r6A6wp4AAAAJ&amp;hl\">google scholar<\/a> page.<\/p>\n<h1 style=\"text-align: left;\"><a href=\"https:\/\/gap-packages.github.io\/numericalsgps\/\"> numericalsgps <img decoding=\"async\" class=\"alignright\" title=\"\" src=\"http:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/banner-numericalsgps.jpg\" alt=\"\" width=\"350\" \/><\/a><\/h1>\n<p><em>a <a href=\"http:\/\/www.gap-system.org\/\"> GAP<\/a> package to compute with numerical semigroups<\/em><br \/>\nBy <a href=\"http:\/\/www.fc.up.pt\/cmup\/mdelgado\/\">Manuel Delgado<\/a>, <a href=\"http:\/\/www.ugr.es\/~pedro\">Pedro Garc\u00eda-S\u00e1nchez<\/a> and Jos\u00e9 Morais.<br \/>\nThe stable release is available either from the package web page in <a href=\"https:\/\/gap-packages.github.io\/numericalsgps\/\"> GitHub <\/a> or from the <a href=\"http:\/\/www.gap-system.org\/Packages\/numericalsgps.html\"> GAP<\/a> web page.<br \/>\nFor the development version, please visit the <a href=\"https:\/\/github.com\/gap-packages\/numericalsgps\"> GitHub<\/a> repository.<br \/>\n<!-- Before moving to a page in GitHub, <a href=\"..\/numericalsgps\"> this <\/a> was the page of the package. --><br \/>\n<!-- --><\/p>\n<h1 style=\"text-align: left;\"><a href=\"https:\/\/gap-packages.github.io\/intpic\/\"> intpic <img decoding=\"async\" class=\"alignright\" title=\"\" src=\"http:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/banner-intpic.jpg\" alt=\"\" width=\"350\" \/><\/a><\/h1>\n<p><em>a <a href=\"http:\/\/www.gap-system.org\/\"> GAP<\/a> <em> package for drawing integers<\/em><br \/>\nBy <a href=\"http:\/\/www.fc.up.pt\/cmup\/mdelgado\/\">Manuel Delgado<\/a>.<br \/>\nThe stable release is available either from the package web page in <a href=\"https:\/\/gap-packages.github.io\/intpic\/\"> GitHub<\/a> or from the <a href=\"http:\/\/www.gap-system.org\/Packages\/intpic.html\"> GAP<\/a> web page.<br \/>\nFor the development version, please visit the <a href=\"https:\/\/github.com\/gap-packages\/intpic\"> GitHub<\/a> repository.<br \/>\n<!-- --><\/p>\n<h1 style=\"text-align: left;\"><a href=\"https:\/\/gap-packages.github.io\/sgpviz\/\"> sgpviz <img decoding=\"async\" class=\"alignright\" title=\"\" src=\"http:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/banner-sgpviz.jpg\" alt=\"\" width=\"350\" \/><\/a><\/h1>\n<p><em>a <a href=\"http:\/\/www.gap-system.org\/\"> GAP<\/a> <em> package for (finite) semigroup visualization<\/em><br \/>\nBy <a href=\"http:\/\/www.fc.up.pt\/cmup\/mdelgado\/\">Manuel Delgado<\/a> and Jos\u00e9 Morais.<br \/>\nThe stable release is available either from the package web page in <a href=\"https:\/\/gap-packages.github.io\/sgpviz\/\"> GitHub<\/a> or from the <a href=\"http:\/\/www.gap-system.org\/Packages\/sgpviz.html\"> GAP<\/a> web page.<br \/>\nFor the development version, please visit the <a href=\"https:\/\/github.com\/gap-packages\/sgpviz\"> GitHub<\/a> repository.<br \/>\n<!-- --><\/p>\n<h1 style=\"text-align: left;\"><a href=\"https:\/\/gap-packages.github.io\/automata\/\"> automata <img decoding=\"async\" class=\"alignright\" title=\"\" src=\"http:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/banner-automata.jpg\" alt=\"\" width=\"350\" \/><\/a><\/h1>\n<p><em>a <a href=\"http:\/\/www.gap-system.org\/\"> GAP<\/a> package to deal with finite state automata<\/em><br \/>\nBy<a href=\"http:\/\/www.fc.up.pt\/cmup\/mdelgado\/\"> Manuel Delgado<\/a>,<a href=\"http:\/\/www.dcs.st-and.ac.uk\/~sal\/\"> Steve Linton<\/a> and Jos\u00e9 Morais.<br \/>\nThe stable release is available either from the package web page in <a href=\"https:\/\/gap-packages.github.io\/automata\/\"> GitHub<\/a> or from the <a href=\"http:\/\/www.gap-system.org\/Packages\/automata.html\"> GAP<\/a> web page.<br \/>\nFor the development version, please visit the <a href=\"https:\/\/github.com\/gap-packages\/automata\"> GitHub<\/a> repository.<br \/>\nThis package has been presented at the &#8220;Workshop on Semigroups and Automata&#8221;, a Satellite Workshop to <a href=\"http:\/\/eatcs.org\/index.php\/satellite-workshop\">ICALP<\/a>&#8217;05 (July 16, 2005, Lisboa, Portugal). (<a href=\"http:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/varia\/package-automata.pdf\">pdf<\/a> file available.)<br \/>\n<!-- --><\/p>\n<h2>Packages under development<\/h2>\n<h1><a href=\"http:\/\/bitbucket.org\/zen154115\/viz\"> viz <\/a><\/h1>\n<ul>\n<li><em>a package for drawing GAP objects<\/em><br \/>\nBy <a href=\"http:\/\/www.fc.up.pt\/cmup\/mdelgado\/\">Manuel Delgado<\/a>, <a href=\"http:\/\/http:\/\/www.egri-nagy.hu\">Attila Egri-Nagy<\/a>, <a href=\"http:\/\/tinyurl.com\/jdmitchell\">James D. Mitchell<\/a> and <a href=\"http:\/\/www-groups.mcs.st-and.ac.uk\/~markusp\/\">Markus Pfeiffer<\/a>.<br \/>\nAs the package is under development, only the development version is available. You can follow this <a href=\"https:\/\/bitbucket.org\/zen154115\/viz\"> link<\/a>, which points to a <a href=\"http:\/\/bitbucket.org\/\"> bitbucket <\/a> repository.<\/li>\n<\/ul>\n<p>I have written some notes (in portuguese) &#8220;Uma Introdu\u00e7\u00e3o ao GAP&#8221; for a small course. They are available as a pdf file from <a href=\"..\/..\/monograph\/gap-notas.pdf\">here<\/a> and also from the <a href=\"http:\/\/www.gap-system.org\">GAP<\/a> web page.<\/p>\n<p>If you are a Linux user you may wish to install GAP in a very comfortable way using <a href=\"http:\/\/www.math.rwth-aachen.de\/~Frank.Luebeck\/gap\/rsync\/index.html\">Frank Luebeck<\/a>&#8216;s webpage.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I am co-author of several external GAP packages. In order to browse through the manuals, you may just follow the links below, which direct you to the respective packages homepages. To use the packages, you must have a working copy &hellip; <a href=\"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/software\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/pages\/3"}],"collection":[{"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/comments?post=3"}],"version-history":[{"count":96,"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/pages\/3\/revisions"}],"predecessor-version":[{"id":942,"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/pages\/3\/revisions\/942"}],"wp:attachment":[{"href":"https:\/\/cmup.fc.up.pt\/cmup\/mdelgado\/wp-json\/wp\/v2\/media?parent=3"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}