Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Theorema 2.0: A Graphical User Interface for a Mathematical Assistant
  System   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 user interface.

2
The categories of this paper are: math
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an