Show simple item record

Files in this item


Item metadata

dc.contributor.authorMartins, Manuel Machado
dc.contributor.authorPfeiffer, Markus Johannes
dc.contributor.editorDavenport, James H.
dc.contributor.editorKauers, Manuel
dc.contributor.editorLabahn, George
dc.contributor.editorUrban, Josef
dc.identifier.citationMartins , M M & Pfeiffer , M J 2018 , Francy - an interactive discrete mathematics framework for GAP . in J H Davenport , M Kauers , G Labahn & J Urban (eds) , Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings . Lecture Notes in Computer Science (Theoretical Computer Science and General Issues) , vol. 10931 , Springer , Cham , pp. 352-358 , International Congress on Mathematical Software - ICMS 2018 , South Bend , Indiana , United States , 24/07/18 .
dc.identifier.otherPURE: 253395898
dc.identifier.otherPURE UUID: b61214b8-1aa5-4713-9c26-8042d3bdbf86
dc.identifier.otherScopus: 85050591638
dc.identifier.otherORCID: /0000-0002-9881-4429/work/47136377
dc.identifier.otherWOS: 000455774600042
dc.descriptionFunding: European Union project Open Digital Research Environment Toolkit for the Advancement of Mathematics (EC Horizon 2020 project 676541, 01/09/2015-31/08/2019).en
dc.description.abstractData visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical objects. GAP is a computer algebra system for computational discrete algebra with an emphasis on computational group theory. The existing XGAP package for GAP works exclusively on the X Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult to extend, maintain, or port. In this paper, we present Francy, a graphical semantics package for GAP. Francy is responsible for creating a representational structure that can be rendered using many GUI frameworks independent from any particular programming language or operating system. Building on this, we use state of the art web technologies that take advantage of an improved REPL environment, which is currently under development for GAP. The integration of this project with Jupyter provides a rich graphical environment full of features enhancing the usability and accessibility of GAP.
dc.relation.ispartofMathematical Software – ICMS 2018en
dc.relation.ispartofseriesLecture Notes in Computer Science (Theoretical Computer Science and General Issues)en
dc.rights© 2018, Springer. This work has been made available online in accordance with the publisher’s policies. This is the author created accepted version manuscript following peer review and as such may differ slightly from the final published version. The final published version of this work is available at
dc.subjectQA75 Electronic computers. Computer scienceen
dc.titleFrancy - an interactive discrete mathematics framework for GAPen
dc.typeConference itemen
dc.contributor.sponsorEuropean Commissionen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.contributor.institutionUniversity of St Andrews. Centre for Interdisciplinary Research in Computational Algebraen

This item appears in the following Collection(s)

Show simple item record