Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

Wolfgang Windsteiger

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

Wolfgang Windsteiger

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Abstract

Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) for the new system. It heavily relies on powerful interactive capabilities introduced in recent releases of the underlying Mathematica system, most importantly the possibility of having dynamic objects connected to interface elements like sliders, menus, check-boxes, radio-buttons and the like. All these features are fully integrated into the Mathematica programming environment and allow the implementation of a modern interface comparable to standard Java-based GUIs.

Originalsprache	Englisch
Titel	24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress
Herausgeber*innen	James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht
Erscheinungsort	Aachen
Seiten	73-81
Seitenumfang	9
Band	921
Publikationsstatus	Veröffentlicht - 2012

Publikationsreihe

Name	CEUR Workshop Proceedings
ISSN (Print)	1613-0073

Wissenschaftszweige

101001 Algebra
101002 Analysis
101 Mathematik
102 Informatik
102011 Formale Sprachen
101009 Geometrie
101013 Mathematische Logik
101020 Technische Mathematik
101025 Zahlentheorie
101012 Kombinatorik
101005 Computeralgebra
101006 Differentialgeometrie
101003 Angewandte Geometrie
102025 Verteilte Systeme

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Andere Dateien und Links

Dieses zitieren

Windsteiger, W. (2012). Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. in James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht (Hrsg.), 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress (Band 921, S. 73-81). (CEUR Workshop Proceedings)..

Windsteiger, Wolfgang. / Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress. Hrsg. / James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht. Band 921 Aachen, 2012. S. 73-81 (CEUR Workshop Proceedings).

@inproceedings{84eaa1cb826849d0be4d145ebfe94669,

title = "Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System",

abstract = "Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) for the new system. It heavily relies on powerful interactive capabilities introduced in recent releases of the underlying Mathematica system, most importantly the possibility of having dynamic objects connected to interface elements like sliders, menus, check-boxes, radio-buttons and the like. All these features are fully integrated into the Mathematica programming environment and allow the implementation of a modern interface comparable to standard Java-based GUIs.",

author = "Wolfgang Windsteiger",

year = "2012",

language = "English",

volume = "921",

series = "CEUR Workshop Proceedings",

pages = "73--81",

editor = "\{James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht\}",

booktitle = "24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress",

}

Windsteiger, W 2012, Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. in James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht (Hrsg.), 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress. Bd. 921, CEUR Workshop Proceedings, Aachen, S. 73-81.

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. / Windsteiger, Wolfgang.
24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress. Hrsg. / James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht. Band 921 Aachen, 2012. S. 73-81 (CEUR Workshop Proceedings).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

AU - Windsteiger, Wolfgang

PY - 2012

Y1 - 2012

N2 - Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) for the new system. It heavily relies on powerful interactive capabilities introduced in recent releases of the underlying Mathematica system, most importantly the possibility of having dynamic objects connected to interface elements like sliders, menus, check-boxes, radio-buttons and the like. All these features are fully integrated into the Mathematica programming environment and allow the implementation of a modern interface comparable to standard Java-based GUIs.

AB - Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) for the new system. It heavily relies on powerful interactive capabilities introduced in recent releases of the underlying Mathematica system, most importantly the possibility of having dynamic objects connected to interface elements like sliders, menus, check-boxes, radio-buttons and the like. All these features are fully integrated into the Mathematica programming environment and allow the implementation of a modern interface comparable to standard Java-based GUIs.

UR - http://ceur-ws.org/Vol-921/

UR - https://www.scopus.com/pages/publications/84887600980

M3 - Conference proceedings

VL - 921

T3 - CEUR Workshop Proceedings

SP - 73

EP - 81

BT - 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress

A2 - James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht, null

CY - Aachen

ER -

Windsteiger W. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. in James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht, Hrsg., 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress. Band 921. Aachen. 2012. S. 73-81. (CEUR Workshop Proceedings).