Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System
复制标题
定理 2.0：数学辅助系统的图形用户界面
DOI：
10.4204/eptcs.118.5
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
W. Windsteiger
中科院分区：
文献类型：
--
作者：
W. Windsteiger
定理2.0代表重新设计，包括定理系统的完整实现，它最初是由布鲁诺·布赫伯格和他在RISC的定理组设计、开发和实现的。在本文中，我们提出了新系统的图形用户界面（GUI）的第一个原型。它在很大程度上依赖于最近发布的底层Mathematica系统中引入的强大的交互功能，最重要的是将动态对象连接到滑块、菜单、复选框、单选按钮等界面元素的可能性。所有这些功能都完全集成到Mathematica编程环境中，并允许实现现代用户界面。
Theorema2.0stands fora re-designincludinga completere-implementationofthe Theoremasystem,which was originallydesigned, developed,and implementedby Bruno Buchbergerand his Theoremagroup at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) forthe new system. It heavily relies on powerful interactive capabilities introduced in recent releasesof the underlying Mathematica system, most importantly the possibility of having dynamic objectsconnected to interface elements like sliders, menus, check-boxes, radio-buttons and the like. Allthese features are fully integrated into the Mathematica programming environment and allow theimplementation of a modern user interface.
开发拍卖理论工具箱
DOI：
--
发表时间：
--
期刊：
--
影响因子：
--
作者：
Christoph Lange (Author)
通讯作者：
Christoph Lange (Author)