Francy——面向 GAP 的交互式离散数学框架
人机交互
2018-06-25 v1 机器学习
摘要
数据可视化以及与大型数据集的交互在当今许多企业中至关重要且关键，在研究与教学中同样如此，尤其是在探索大型复杂数学对象时。GAP 是一个用于计算离散代数的计算机代数系统，侧重于计算群论。现有的 GAP 的 XGAP 包仅在 X Window System 上工作。它缺乏数学核心与图形核心之间的抽象，难以扩展、维护或移植。本文介绍 Francy，一个用于 GAP 的图形语义包。Francy 负责创建一种表示结构，可使用许多 GUI 框架渲染，且独立于任何特定编程语言或操作系统。在此基础上，我们采用最先进的 Web 技术，利用当前正为 GAP 开发的改进型 REPL 环境。该项目与 Jupyter 的集成提供了一个丰富的图形环境，具备多种增强 GAP 可用性与可访问性的特性。
引用
@article{arxiv.1806.08648,
title = {Francy - An Interactive Discrete Mathematics Framework for GAP},
author = {Manuel Machado Martins and Markus Pfeiffer},
journal= {arXiv preprint arXiv:1806.08648},
year = {2018}
}