GrInvIn公司 swMATH ID: 4703 软件作者： 阿德里安·皮特斯；克里斯·库萨特（Kris Coolsaet）；冈纳·布林克曼；范·克莱恩普特（Van Cleemput），尼古拉斯（Nicolas）；Veerle法克 描述： Grinvin是一个桌面应用程序，用于研究图形及其属性（不变量）以及这些属性之间的关系。在Grinvin的开发过程中，用户界面受到了很多关注。它被设计为通过示例和对图及其属性的实验来最佳地支持用户学习图论。通过包含用于绘制图形的图形编辑器，即创建特定类型图形的所谓“工厂”，以及可以为系统操作的所有图形计算的不变量，可以进行实验。通过用户引入或选择的图和不变量，Grinvin计算出一个表示不变量之间某种关系的猜想（例如，“边数≤顶点数”）。然后，用户（学生）应尝试找到这个猜想的反例（最好是尽可能小的一个）或尝试证明它是正确的。如果可以生成反例，则应将其输入系统，以便GrInvIn计算新的推测。在这个例子中，最小的反例是一个有5条边的4阶图（想象一个有一条对角线的正方形）。该软件使用的所有术语都记录在一个在线、上下文相关的帮助系统中。本文档包含不变量和基本图论的信息。文档（同样，用户界面）有不同的语言版本（目前为英语和荷兰语）。我们尝试根据软件工程原理开发Grinvin，使其可以在任何计算机平台上使用，并使用用户提供的不变量进行轻松扩展。 主页： 网址：http://www.grinvin.org/ 编程语言： Java语言 操作系统： Windows、Linux、Mac操作系统/X 依赖项： Java-版本5或更高版本、Java JRE、JDK 关键词： 利用图不变量学习数学推理 相关软件： 鹦鹉螺；GraPHedron公司；图形之家；自动图形X；GENREG公司；SageMath公司；植物；CaGe公司；人力资源；图形；涂鸦；INGRID公司；马文；Slurm公司；踪迹；全球工作时间；码头工人；PostgreSQL；蓝色J；图6Java 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 简单地说，GrInvIn。 Zbl 1194.92095号阿德里安·皮特斯；克里斯·库尔萨特；冈纳·布林克曼；尼古拉斯·范·克莱恩普特；Veerle法克 2009 全部的 前5名20位作者引用 三 冈纳·布林克曼 三 克里斯·库尔萨特 三 尼古拉斯·范·克莱恩普特 2 Jan Goedgebeur 2 克雷格·E·拉尔森。 1 穆斯塔法·奥奇奇 1 马蒂亚斯·德梅尔 1 Sven D'hondt先生 1 Emmert-Streib，弗兰克 1 Veerle法克 1 帕特里克·W·福勒。 1 穆罕默德·盖布勒 1 皮埃尔·汉森 1 劳拉·哈钦森。 1 阿里·卡索 1 梅洛特，哈德里安 1 大卫·蒙西 1 阿德里安·皮特斯 1 石永堂 1 Stevanović，德拉甘 全部的 前5名引用于6个系列 三 MATCH-数学和计算机化学通信 2 离散应用数学 1 人工智能 1 信息科学 1 线性代数及应用 1 数学化学杂志 在4个字段中引用 8 组合数学（05-XX） 三 计算机科学（68至XX） 三 生物学和其他自然科学（92-XX） 2 运筹学、数学规划（90-XX） 按年份列出的引文