Skip to content

Research at St Andrews

Francy - an interactive discrete mathematics framework for GAP

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Data 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.
Close

Details

Original languageEnglish
Title of host publicationMathematical Software – ICMS 2018
Subtitle of host publication6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
EditorsJames H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Place of PublicationCham
PublisherSpringer
Pages352-358
ISBN (Electronic)9783319964188
ISBN (Print)9783319964171
DOIs
StatePublished - 2018
EventInternational Congress on Mathematical Software - ICMS 2018 - University of Notre Dame, South Bend, United States
Duration: 24 Jul 201827 Jul 2018
Conference number: 6
http://icms-conference.org/2018/

Publication series

NameLecture Notes in Computer Science (Theoretical Computer Science and General Issues)
PublisherSpringer
Volume10931

Conference

ConferenceInternational Congress on Mathematical Software - ICMS 2018
Abbreviated titleICMS 2018
CountryUnited States
CitySouth Bend
Period24/07/1827/07/18
Internet address

    Research areas

  • Visualization, Interaction, Graphics, Mathematics, GAP, Jupyter

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. New refiners for permutation group search

    Jefferson, C., Pfeiffer, M. & Waldecker, R. 11 Jan 2018 In : Journal of Symbolic Computation. 92, p. 70-92 23 p.

    Research output: Contribution to journalArticle

  2. Minimal and canonical images

    Jefferson, C., Jonauskyte, E., Pfeiffer, M. & Waldecker, R. 22 Nov 2018 In : Journal of Algebra. In press

    Research output: Contribution to journalArticle

  3. Two variants of the froidure-pin algorithm for finite semigroups

    Jonusas, J., Mitchell, J. D. & Pfeiffer, M. 8 Feb 2018 In : Portugaliae Mathematica. 74, 3, p. 173-200 28 p.

    Research output: Contribution to journalArticle

  4. Finite presentability and isomorphism of Cayley graphs of monoids

    Awang, J. S., Pfeiffer, M. J. & Ruskuc, N. Nov 2017 In : Proceedings of the American Mathematical Society. 145, 11, p. 4585-4593

    Research output: Contribution to journalArticle

  5. Knowledge-based interoperability for mathematical software systems

    Kohlhase, M., De Feo, L., Müller, D., Pfeiffer, M. J., Rabe, F., Thiéry, N., Vasilyev, V. & Wiesing, T. 2017 Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Blömer, J., Kotsireas, I., Kutsia, T. & Simos, D. E. (eds.). Cham: Springer, p. 195-210 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10693)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 253395898